VM_GET_INTINFO
VM_GET_INTINFO, \
error = vcpu_ioctl(vcpu, VM_GET_INTINFO, &vmii);
VMMDEV_IOCTL(VM_GET_INTINFO, VMMDEV_IOCTL_LOCK_ONE_VCPU),
case VM_GET_INTINFO: {