Symbol: bios_init
headers/private/kernel/arch/x86/bios.h
28
status_t bios_init(void);
src/system/kernel/arch/x86/arch_vm.cpp
740
return bios_init();