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