pmap_map
vm_offset_t pmap_map (vm_offset_t *, vm_paddr_t, vm_paddr_t, int);
vm_page_dump = (void *)pmap_map(&vaddr, end, end + vm_page_dump_size,
mapped = pmap_map(&vaddr, new_end, end, VM_PROT_READ | VM_PROT_WRITE);