2 * BIOS interrupt 12h handler
7 /**********************************************************************
8 * INT_Int12Handler (WPROCS.118)
10 * Handler for int 12h (get memory size).
12 void WINAPI INT_Int12Handler( CONTEXT86 *context )
14 SET_AX( context, 640 );