pmap_mapbios
return (pmap_mapbios(VGA_PCI_BIOS_SHADOW_ADDR, *size));
opregion->rvda = pmap_mapbios(opregion->asle->rvda,
base = (void *)pmap_mapbios(asls, OPREGION_SIZE);
header = pmap_mapbios(addr, sizeof(struct smbios_eps));
table = pmap_mapbios(addr, header->length);
table = pmap_mapbios(header->structure_table_address,
void *pmap_mapbios(vm_paddr_t, vm_size_t);