vcpu_ioctl
return (vcpu_ioctl(vcpu, VM_INJECT_EXCEPTION, &vmexc));
error = vcpu_ioctl(vcpu, VM_SET_SEGMENT_DESCRIPTOR, &vmsegdesc);
error = vcpu_ioctl(vcpu, VM_GET_SEGMENT_DESCRIPTOR, &vmsegdesc);
return (vcpu_ioctl(vcpu, VM_LAPIC_IRQ, &vmirq));
return (vcpu_ioctl(vcpu, VM_LAPIC_LOCAL_IRQ, &vmirq));
return (vcpu_ioctl(vcpu, VM_INJECT_NMI, &vmnmi));
return (vcpu_ioctl(vcpu, VM_INJECT_EXCEPTION, &exc));
rc = vcpu_ioctl(vcpu, cmd, &irp);
error = vcpu_ioctl(vcpu, VM_GET_X2APIC_STATE, &x2apic);
error = vcpu_ioctl(vcpu, VM_SET_X2APIC_STATE, &x2apic);
int vcpu_ioctl(struct vcpu *vcpu, u_long cmd, void *arg);
return (vcpu_ioctl(vcpu, VM_INJECT_EXCEPTION, &vmexc));
error = vcpu_ioctl(vcpu, VM_ACTIVATE_CPU, &ac);
error = vcpu_ioctl(vcpu, VM_SUSPEND_CPU, &ac);
error = vcpu_ioctl(vcpu, VM_RESUME_CPU, &ac);
error = vcpu_ioctl(vcpu, VM_GET_INTINFO, &vmii);
error = vcpu_ioctl(vcpu, VM_SET_INTINFO, &vmii);
return (vcpu_ioctl(vcpu, VM_RESTART_INSTRUCTION, &arg));
error = vcpu_ioctl(vcpu, VM_SET_REGISTER, &vmreg);
error = vcpu_ioctl(vcpu, VM_GET_REGISTER, &vmreg);
error = vcpu_ioctl(vcpu, VM_SET_REGISTER_SET, &vmregset);
error = vcpu_ioctl(vcpu, VM_GET_REGISTER_SET, &vmregset);
return (vcpu_ioctl(vcpu, VM_RUN, vmrun));
error = vcpu_ioctl(vcpu, VM_GET_CAPABILITY, &vmcap);
return (vcpu_ioctl(vcpu, VM_SET_CAPABILITY, &vmcap));
if (vcpu_ioctl(vcpu, VM_STATS, &vmstats) != 0)
error = vcpu_ioctl(vcpu, VM_GLA2GPA, &gg);
error = vcpu_ioctl(vcpu, VM_GLA2GPA_NOFAULT, &gg);