Lines Matching full:bios32
22 #include "msdos/pm_drvr/bios32.h"806 (void)pci_init(); /* init BIOS32+PCI interface */1023 { "BIOS32.DEBUG", ARG_ATOI, &bios32_debug },