x86bios_get_intr
uint32_t x86bios_get_intr(int intno);
if (x86bios_get_intr(0x10) == 0)
if (x86bios_get_intr(0x10) == 0)
vesa_bios_int10 = x86bios_get_intr(0x10);
vesa_bios_int10 = x86bios_get_intr(0x10);
x86bios_get_intr(0x10);