Symbol: VGA_PCI_BIOS_SHADOW_SIZE
sys/dev/pci/vga_pci.c
183
*size = VGA_PCI_BIOS_SHADOW_SIZE;
sys/dev/pci/vga_pci.c
284
pmap_unmapdev(bios, VGA_PCI_BIOS_SHADOW_SIZE);