26,6 → 26,9 |
#include <ll/i386/x-bios.h> |
#include <ll/i386/mem.h> |
|
#include <ll/i386/advtimer.h> |
#include <ll/i386/apic.h> |
|
FILE(X-BIOS); |
|
/* The interface between X (and 32 bit PM) and BIOS (which runs at 16 bits */ |
36,16 → 39,24 |
/* Assembler gate JMP instruction */ |
extern void _x_callBIOS(void); |
X_CALLBIOS *xbc = x_bios_address(); |
DWORD msr1 = 0,msr2 = 0; |
|
/* Send interrupt request & register through the X_Info structure */ |
xbc->_irqno = service; |
memcpy(&(xbc->_ir),in,sizeof(X_REGS16)); |
memcpy(&(xbc->_sr),s,sizeof(X_SREGS16)); |
|
#ifdef __APIC__ |
rdmsr(APIC_BASE_MSR,msr1,msr2); |
disable_APIC_timer(); |
#endif |
/* Back to RM to execute the BIOS routine */ |
_x_callBIOS(); |
|
/* Get the return register values */ |
#ifdef __APIC__ |
wrmsr(APIC_BASE_MSR,msr1,msr2); |
enable_APIC_timer(); |
#endif |
memcpy(out,&(xbc->_or),sizeof(X_REGS16)); |
memcpy(s,&(xbc->_sr),sizeof(X_SREGS16)); |
} |