Constant HalDisplayInt10Bios 

pub const HalDisplayInt10Bios: HAL_DISPLAY_BIOS_INFORMATION;