Symbol: bios32
sys/i386/i386/bios.c
175
bios32(&args, bios32_SDCI, GSEL(GCODE_SEL, SEL_KPL));
sys/i386/i386/bios.c
69
SYSINIT(bios32, SI_SUB_CPU, SI_ORDER_ANY, bios32_init, NULL);
sys/i386/include/pc/bios.h
315
int bios32(struct bios_regs *, u_int, u_short);
sys/i386/pci/pci_cfgreg.c
123
if (bios32(&args, PCIbios.ventry, GSEL(GCODE_SEL, SEL_KPL))) {
sys/i386/pci/pci_pir.c
478
return (bios32(&args, PCIbios.ventry, GSEL(GCODE_SEL, SEL_KPL)));