Searched refs:bios_image_len (Results 1 – 1 of 1) sorted by relevance
490 u32 bios_image_len; in PCI_postController() local499 bios_image_len = bios_len; in PCI_postController()511 bios_image_len = mapped_bios[2] * 512; in PCI_postController()513 copy_of_bios = malloc(bios_image_len); in PCI_postController()518 memcpy(copy_of_bios, mapped_bios, bios_image_len); in PCI_postController()535 vga_info->BIOSImageLen = bios_image_len; in PCI_postController()