extern int x86_diverr, x86_debug, x86_breakpoint;
extern int x86_gpf, x86_page_fault, x86_invalid_insn;
-extern int x86_int98_entry, x86_int99_entry;
+extern int x86_int98_entry, x86_int99_entry, x86_int9a_entry, x86_int9b_entry;
extern void *x86_irqs[256];
namespace Arch {
set_int_gate(14, &x86_page_fault, true);
set_int_gate(0x98, &x86_int98_entry, false, true);
set_int_gate(0x99, &x86_int99_entry, false, true);
+ set_int_gate(0x9a, &x86_int9a_entry, false, true);
+ set_int_gate(0x9b, &x86_int9b_entry, false, true);
for (int i = 0x20; i < 0x30; i++)
set_int_gate(i, x86_irqs[i], true);