headers/os/drivers/bios.h headers/private/kernel/arch/x86/bios.h src/add-ons/accelerants/radeon_hd/bios.h src/system/boot/platform/bios_ia32/bios.h
