9.118 nvmm_hva_unmap ¶

int nvmm_hva_unmap(int machine_id, uint64_t hva_addr, size_t size);

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