nvmm_gpa_to_hva
if (nvmm_gpa_to_hva(mach, L2gpa, &L2hva, &pageprot) == -1)
if (nvmm_gpa_to_hva(mach, L1gpa, &L1hva, &pageprot) == -1)
if (nvmm_gpa_to_hva(mach, L3gpa, &L3hva, &pageprot) == -1)
if (nvmm_gpa_to_hva(mach, L2gpa, &L2hva, &pageprot) == -1)
if (nvmm_gpa_to_hva(mach, L1gpa, &L1hva, &pageprot) == -1)
if (nvmm_gpa_to_hva(mach, L4gpa, &L4hva, &pageprot) == -1)
if (nvmm_gpa_to_hva(mach, L3gpa, &L3hva, &pageprot) == -1)
if (nvmm_gpa_to_hva(mach, L2gpa, &L2hva, &pageprot) == -1)
if (nvmm_gpa_to_hva(mach, L1gpa, &L1hva, &pageprot) == -1)
ret = nvmm_gpa_to_hva(mach, gpa, &hva, &prot);
ret = nvmm_gpa_to_hva(mach, gpa, &hva, &prot);
int nvmm_gpa_to_hva(struct nvmm_machine *, gpaddr_t, uintptr_t *,