pmap_phys_address
paddr = pmap_phys_address(mdpgno);
#if !defined(pmap_phys_address)
paddr_t pmap_phys_address(paddr_t);