| * DOS interrupt 41h handler -- Windows Kernel Debugger |
| * Check debugsys.inc from the DDK for docu. |
| DEFAULT_DEBUG_CHANNEL(int); |
| /*********************************************************************** |
| * INT_Int41Handler (WPROCS.165) |
| void WINAPI INT_Int41Handler( CONTEXT86 *context ) |
| /* Real-mode debugger services */ |
| switch ( AX_reg(context) ) |
| INT_BARF( context, 0x41 ); |
| /* Protected-mode debugger services */ |
| switch ( AX_reg(context) ) |
| /* Notifies the debugger of a lot of stuff. We simply ignore it |
| for now, but some of the info might actually be useful ... */ |
| INT_BARF( context, 0x41 ); |