vm_inject_exception
vm_inject_exception(struct vcpu *vcpu, int vector, int errcode_valid,
vm_inject_exception(struct vm *vm, int vcpuid, uint8_t vector,