psm_map_phys
apicadr = (void *)psm_map_phys(APIC_LOCAL_ADDR,
biosdatap = psm_map_phys(0x400, 0x20, PROT_READ);
fptr = psm_map_phys(ebda_start, MPFPS_RAM_WIN_LEN, PROT_READ);
fptr = psm_map_phys(base_mem_end, MPFPS_RAM_WIN_LEN,
fptr = psm_map_phys(MPFPS_ROM_WIN_START,
hdrp = (struct apic_mp_cnf_hdr *)psm_map_phys(mpct_addr,
mpct = psm_map_phys(mpct_addr, mpct_size, PROT_READ);
return ((void *)psm_map_phys(addr, len, flags));
if (!(warm_reset_vector = (ushort_t *)psm_map_phys(WARM_RESET_VECTOR,
bios_memchk = (ushort_t *)psm_map_phys(0x472,
return (psm_map_phys(addr, len, phys_prot));
if (!(vec = (ushort_t *)psm_map_phys(WARM_RESET_VECTOR,
bios = psm_map_phys(ep->ep21.smbe_staddr, smbe_stlen,
bios = psm_map_phys(startaddr, bioslen, PSM_PROT_READ);