ESR_ELx_EC_DABT_CUR
return ec == ESR_ELx_EC_DABT_LOW || ec == ESR_ELx_EC_DABT_CUR;
case ESR_ELx_EC_DABT_CUR:
[ESR_ELx_EC_DABT_CUR] = "DABT (current EL)",
[ESR_ELx_EC_DABT_CUR] = kvm_handle_vncr_abort,
return ESR_ELx_EC(esr) == ESR_ELx_EC_DABT_CUR;
return ec == ESR_ELx_EC_DABT_LOW || ec == ESR_ELx_EC_DABT_CUR;
GUEST_ASSERT_EQ(ESR_ELx_EC(esr), ESR_ELx_EC_DABT_CUR);
GUEST_ASSERT_EQ(ESR_ELx_EC(esr), ESR_ELx_EC_DABT_CUR);
vm_install_sync_handler(vm, VECTOR_SYNC_CURRENT, ESR_ELx_EC_DABT_CUR, dabt_handler);
ESR_ELx_EC_DABT_CUR, no_dabt_handler);
GUEST_ASSERT_EQ(ESR_ELx_EC(esr), ESR_ELx_EC_DABT_CUR);
/*ec=*/ESR_ELx_EC_DABT_CUR,