1998-10-24 12:39:06 +02:00
|
|
|
/*
|
|
|
|
* BIOS interrupt 19h handler
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <stdlib.h>
|
|
|
|
#include "miscemu.h"
|
1999-06-26 21:09:08 +02:00
|
|
|
#include "debugtools.h"
|
1998-10-24 12:39:06 +02:00
|
|
|
|
2000-11-28 00:54:25 +01:00
|
|
|
DEFAULT_DEBUG_CHANNEL(int19);
|
1999-04-19 16:56:29 +02:00
|
|
|
|
1998-10-24 12:39:06 +02:00
|
|
|
|
|
|
|
/**********************************************************************
|
|
|
|
* INT_Int19Handler
|
|
|
|
*
|
|
|
|
* Handler for int 19h (Reboot).
|
|
|
|
*/
|
1999-06-26 20:40:24 +02:00
|
|
|
void WINAPI INT_Int19Handler( CONTEXT86 *context )
|
1998-10-24 12:39:06 +02:00
|
|
|
{
|
1999-06-26 21:09:08 +02:00
|
|
|
WARN("Attempted Reboot\n");
|
1998-10-24 12:39:06 +02:00
|
|
|
}
|