x86bios_set_intr
void x86bios_set_intr(int intno, uint32_t saddr);
x86bios_set_intr(0x10, vesa_bios_int10);
x86bios_set_intr(0x10, offs);