VM_GET_RUN_STATE
{ (uint_t)VM_GET_RUN_STATE, "VM_GET_RUN_STATE", NULL },
if (vcpu_ioctl(vcpu, VM_GET_RUN_STATE, &data) != 0) {
case VM_GET_RUN_STATE: {
case VM_GET_RUN_STATE: