Symbol: EXCP_TYPE_EL1_IRQ
sys/arm64/vmm/vmm_arm64.c
803
case EXCP_TYPE_EL1_IRQ:
sys/arm64/vmm/vmm_arm64.c
807
excp_type == EXCP_TYPE_EL1_IRQ ? VMEXIT_IRQ : VMEXIT_FIQ,1);