int nvmm_vcpu_dump(int machine_id, int cpu_id, void *dump_addr);
This syscall makes the VCPU dump local state into a memory window, and
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.