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