vm_inject_fault
vm_inject_fault(vcpu, vector, 1, sel);
void vm_inject_fault(struct vcpu *vcpu, int vector,
vm_inject_fault(vcpu, IDT_GP, 1, 0);
vm_inject_fault(vcpu, IDT_AC, 1, errcode);
vm_inject_fault(vcpu, IDT_SS, 1, errcode);