HelenOS sources

bios_init          42 kernel/arch/amd64/include/arch/bios/bios.h extern void bios_init(void);
bios_init         125 kernel/arch/amd64/src/amd64.c 		bios_init();
bios_init          42 kernel/arch/ia32/include/arch/bios/bios.h extern void bios_init(void);
bios_init         114 kernel/arch/ia32/src/ia32.c 		bios_init();