Searched refs:mapped_bios (Results 1 – 1 of 1) sorted by relevance
493 uchar *mapped_bios; in PCI_postController() local507 mapped_bios = PCI_mapBIOSImage(pcidev); in PCI_postController()508 if (mapped_bios == NULL) { in PCI_postController()513 bios_image_len = mapped_bios[2] * 512; in PCI_postController()520 memcpy(copy_of_bios, mapped_bios, bios_image_len); in PCI_postController()521 PCI_unmapBIOSImage(pcidev, mapped_bios); in PCI_postController()
Completed in 3 milliseconds