ESR_ELx_EC_BRK64
return ESR_ELx_EC(esr) == ESR_ELx_EC_BRK64 &&
case ESR_ELx_EC_BRK64:
case ESR_ELx_EC_BRK64:
[ESR_ELx_EC_BRK64] = "BRK (AArch64)",
[ESR_ELx_EC_BRK64] = kvm_handle_guest_debug,
} else if (ESR_ELx_EC(esr) == ESR_ELx_EC_BRK64 &&
ESR_ELx_EC(esr) == ESR_ELx_EC_BRK64 &&
return ESR_ELx_EC(esr) == ESR_ELx_EC_BRK64 &&
ESR_ELx_EC_BRK64, guest_sw_bp_handler);