compat/x86bios/x86bios.c

201 x86bios_get_intr(int intno)
204 	return (readl(BIOS_PADDRTOVADDR(intno * 4)));
208 x86bios_set_intr(int intno, uint32_t saddr)
211 	writel(BIOS_PADDRTOVADDR(intno * 4), saddr);
215 x86bios_intr(struct x86regs *regs, int intno)
220 		X86BIOS_TRACE(Calling INT 0x%02x, intno, regs);
225 	vm86_datacall(intno, &vmf, &x86bios_vmc);
230 		X86BIOS_TRACE(Exiting INT 0x%02x, intno, regs);
609 x86bios_get_intr(int intno)
612 	return (le32toh(*((uint32_t *)x86bios_ivt + intno)));
616 x86bios_set_intr(int intno, uint32_t saddr)
619 	*((uint32_t *)x86bios_ivt + intno) = htole32(saddr);
623 x86bios_intr(struct x86regs *regs, int intno)
626 	if (intno < 0 || intno > 255)
630 		X86BIOS_TRACE(Calling INT 0x%02x, intno, regs);
636 	x86emu_exec_intr(&x86bios_emu, intno);
642 		X86BIOS_TRACE(Exiting INT 0x%02x, intno, regs);