EXCP_TYPE_EL1_IRQ
case EXCP_TYPE_EL1_IRQ:
excp_type == EXCP_TYPE_EL1_IRQ ? VMEXIT_IRQ : VMEXIT_FIQ,1);