1998-10-24 12:39:06 +02:00
|
|
|
/*
|
|
|
|
|
* BIOS interrupt 19h handler
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <stdlib.h>
|
|
|
|
|
#include "miscemu.h"
|
|
|
|
|
#include "debug.h"
|
|
|
|
|
|
1999-04-19 16:56:29 +02:00
|
|
|
DEFAULT_DEBUG_CHANNEL(int19)
|
|
|
|
|
|
1998-10-24 12:39:06 +02:00
|
|
|
|
|
|
|
|
/**********************************************************************
|
|
|
|
|
* INT_Int19Handler
|
|
|
|
|
*
|
|
|
|
|
* Handler for int 19h (Reboot).
|
|
|
|
|
*/
|
|
|
|
|
void WINAPI INT_Int19Handler( CONTEXT *context )
|
|
|
|
|
{
|
|
|
|
|
WARN(int19, "Attempted Reboot\n");
|
|
|
|
|
}
|
