EXCP_DATA_ABORT_L
case EXCP_DATA_ABORT_L:
if ((ec != EXCP_DATA_ABORT_L && ec != EXCP_DATA_ABORT) ||
case EXCP_DATA_ABORT_L:
case EXCP_DATA_ABORT_L:
esr |= EXCP_DATA_ABORT_L << ESR_ELx_EC_SHIFT;
case EXCP_DATA_ABORT_L:
vmm_stat_incr(hypctx->vcpu, esr_ec == EXCP_DATA_ABORT_L ?
esr_ec == EXCP_DATA_ABORT_L,
case EXCP_DATA_ABORT_L:
esr = EXCP_DATA_ABORT_L << ESR_ELx_EC_SHIFT;