__kvm_inject_sea
__kvm_inject_sea(vcpu, iabt, addr);
__kvm_inject_sea(vcpu, false, addr);
__kvm_inject_sea(vcpu, kvm_vcpu_trap_is_iabt(vcpu), addr);