Searched refs:BIOSImageLen (Results 1 – 3 of 3) sorted by relevance
39 u32 BIOSImageLen; member
535 vga_info->BIOSImageLen = bios_image_len; in PCI_postController()546 vga_info->BIOSImageLen = copy_of_bios[2] * 512; in PCI_postController()
142 _BE_env.biosmem_limit = 0xC0000 + info->BIOSImageLen - 1; in BE_setVGA()