9.119 nvmm_gva_2_gpa

int nvmm_gpa_to_hva(int machine_id, int cpu, uint64_t gva_addr, uint64_t *gpa_addr, int *gpa_prot);

This syscall executes the VCPU and blocks until execution is stopped, returns 0 on success, or -1 on failure.