1 /* 2 * Copyright 2011, Ingo Weinhold, ingo_weinhold@gmx.de. 3 * Distributed under the terms of the MIT License. 4 */ 5 6 7 #include "bios.h" 8 9 #include "interrupts.h" 10 11 12 extern "C" void call_bios_internal(uint8 num, struct bios_regs* regs); 13 14 15 void 16 call_bios(uint8 num, struct bios_regs* regs) 17 { 18 restore_bios_idt(); 19 call_bios_internal(num, regs); 20 set_debug_idt(); 21 22 } 23