addr_hva2gpa
pte_gpa = addr_hva2gpa(vm, virt_get_pte_hva(vm, TEST_GVA));
pte_gpa = addr_hva2gpa(vm, virt_get_pte_hva(vm, TEST_GVA));
vm_paddr_t addr_hva2gpa(struct kvm_vm *vm, void *hva);
addr_hva2gpa(vm, pml4e), PTE_GET_PFN(*pml4e),
addr_hva2gpa(vm, pdpe),
addr_hva2gpa(vm, pde),
addr_hva2gpa(vm, pte),
gpa = addr_hva2gpa(vm, pte);