HelenOS sources

bios.h   44 kernel/arch/amd64/src/amd64.c #include <arch/bios/bios.h>
bios.h   35 kernel/arch/amd64/src/bios/bios.c #include <arch/bios/bios.h>
bios.h   47 kernel/arch/amd64/src/smp/mps.c #include <arch/bios/bios.h>
bios.h   35 kernel/arch/ia32/src/bios/bios.c #include <arch/bios/bios.h>
bios.h   46 kernel/arch/ia32/src/ia32.c #include <arch/bios/bios.h>
bios.h   47 kernel/arch/ia32/src/smp/mps.c #include <arch/bios/bios.h>
bios.h   40 kernel/genarch/src/acpi/acpi.c #include <arch/bios/bios.h>