Lines Matching full:bios
169 volatile unsigned char *bios; in vga_pci_map_bios() local
175 * On x86, the System BIOS copy the default display in vga_pci_map_bios()
176 * device's Video BIOS at a fixed location in system in vga_pci_map_bios()
222 bios = rman_get_virtual(res); in vga_pci_map_bios()
225 found = (bios[0] == 0x55 && bios[1] == 0xaa); in vga_pci_map_bios()
231 return (__DEVOLATILE(void *, bios)); in vga_pci_map_bios()
255 bios = rman_get_virtual(res); in vga_pci_map_bios()
258 found = (bios[0] == 0x55 && bios[1] == 0xaa); in vga_pci_map_bios()
264 return (__DEVOLATILE(void *, bios)); in vga_pci_map_bios()
272 vga_pci_unmap_bios(device_t dev, void *bios) in vga_pci_unmap_bios() argument
277 if (bios == NULL) { in vga_pci_unmap_bios()
283 /* We mapped the BIOS shadow copy located at 0xC0000. */ in vga_pci_unmap_bios()
284 pmap_unmapdev(bios, VGA_PCI_BIOS_SHADOW_SIZE); in vga_pci_unmap_bios()
307 KASSERT(vr->vr_res != NULL, ("vga_pci_unmap_bios: bios not mapped")); in vga_pci_unmap_bios()
308 KASSERT(rman_get_virtual(vr->vr_res) == bios, in vga_pci_unmap_bios()