VM_GET_INTINFO
{ (uint_t)VM_GET_INTINFO, "VM_GET_INTINFO", NULL },
error = vcpu_ioctl(vcpu, VM_GET_INTINFO, &vmii);
VM_SET_INTINFO, VM_GET_INTINFO,
case VM_GET_INTINFO: {
case VM_GET_INTINFO: