except_type_irq
{ except_type_irq, "IRQ" }, \
case except_type_irq:
return kvm_inject_nested(vcpu, 0, except_type_irq);
enter_exception64(vcpu, PSR_MODE_EL2h, except_type_irq);