vmmpmap_enter
bool vmmpmap_enter(vm_offset_t, vm_size_t, vm_paddr_t, vm_prot_t);
rv = vmmpmap_enter(vmm_base, hyp_code_len, vmm_base,
rv = vmmpmap_enter(stack_hyp_va[cpu] + ptoa(i),
rv = vmmpmap_enter(addr, size, vtophys(data), prot);