vmm_translate_gpa
vaddr_t vmm_translate_gpa(struct vm *, paddr_t);
hva = vmm_translate_gpa(vcpu->vc_parent, pa);