Symbol: VGA_PCI_BIOS_SHADOW_ADDR
sys/dev/pci/vga_pci.c
184
return (pmap_mapbios(VGA_PCI_BIOS_SHADOW_ADDR, *size));
sys/dev/pci/vga_pci.c
322
if (x86bios_get_orm(VGA_PCI_BIOS_SHADOW_ADDR) == NULL)
sys/dev/pci/vga_pci.c
332
x86bios_call(&regs, X86BIOS_PHYSTOSEG(VGA_PCI_BIOS_SHADOW_ADDR + 3),
sys/dev/pci/vga_pci.c
333
X86BIOS_PHYSTOOFF(VGA_PCI_BIOS_SHADOW_ADDR + 3));