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");