PSM_PROT_READ
PSM_PROT_WRITE | PSM_PROT_READ));
ASSERT(prot == (prot & (PSM_PROT_WRITE | PSM_PROT_READ)));
PSM_PROT_READ);
PSM_PROT_READ);
bios = psm_map_phys(startaddr, bioslen, PSM_PROT_READ);
(size_t)Size, PSM_PROT_WRITE | PSM_PROT_READ));
PSM_PROT_WRITE | PSM_PROT_READ);