9.113 nvmm_vcpu_getstate

int nvmm_vcpu_getstate(int machine_id, int cpu_id, uint64_t setting, void *addr);

This syscall instructs the machine to report values from the VCPU as requested with setting, and returns 0 on success, or -1 on failure, with the following errno:

ENOTSUPP

The current hardware or Ironclad does not support hardware-accelerated virtualization, thus NVMM capability is not available.