sys/compat/x86bios/x86bios.c

181

X86BIOS_TRACE(Calling 0x%06x, (seg << 4) + off, regs);

sys/compat/x86bios/x86bios.c

193

X86BIOS_TRACE(Exiting 0x%06x, (seg << 4) + off, regs);

sys/compat/x86bios/x86bios.c

216

X86BIOS_TRACE(Calling INT 0x%02x, intno, regs);

sys/compat/x86bios/x86bios.c

226

X86BIOS_TRACE(Exiting INT 0x%02x, intno, regs);

sys/compat/x86bios/x86bios.c

584

X86BIOS_TRACE(Calling 0x%06x, (seg << 4) + off, regs);

sys/compat/x86bios/x86bios.c

596

X86BIOS_TRACE(Exiting 0x%06x, (seg << 4) + off, regs);

sys/compat/x86bios/x86bios.c

626

X86BIOS_TRACE(Calling INT 0x%02x, intno, regs);

sys/compat/x86bios/x86bios.c

638

X86BIOS_TRACE(Exiting INT 0x%02x, intno, regs);