2 * BIOS interrupt 19h handler
9 DEFAULT_DEBUG_CHANNEL(int19
)
12 /**********************************************************************
15 * Handler for int 19h (Reboot).
17 void WINAPI
INT_Int19Handler( CONTEXT
*context
)
19 WARN(int19
, "Attempted Reboot\n");