vmm_inject_ud
int vmm_inject_ud(struct vcpu *);
ret = vmm_inject_ud(vcpu);
ret = vmm_inject_ud(vcpu);
error = vmm_inject_ud(vcpu);
ret = vmm_inject_ud(vcpu);
ret = vmm_inject_ud(vcpu);