int nvmm_gpa_map(int machine_id, uint64_t hva_addr, uint64_t gpa_addr, size_t size, int prot);
This syscall executes the VCPU and blocks until execution is stopped, returns
0 on success, or -1 on failure, with the following errno:
ENOTSUPPThe current hardware or Ironclad does not support hardware-accelerated virtualization, thus NVMM capability is not available.