pub type HAL_DISPLAY_BIOS_INFORMATION = i32;