Symbol: NVMM_IOC_VCPU_GETSTATE
lib/libnvmm/libnvmm.c
403
ret = ioctl(nvmm_fd, NVMM_IOC_VCPU_GETSTATE, &args);
sys/dev/nvmm/nvmm.c
1235
case NVMM_IOC_VCPU_GETSTATE: