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