bios.h   33 arch/i386/i386/acpi_machdep.c #include "bios.h"
bios.h  158 arch/i386/i386/conf.c #include "bios.h"
bios.h  164 arch/i386/i386/machdep.c #include "bios.h"
bios.h   51 arch/i386/i386/mainbus.c #include "bios.h"
bios.h   97 arch/i386/pci/pci_machdep.c #include "bios.h"