ESR_ELx_EC_HVC64
[ESR_ELx_EC_HVC64] = "HVC (AArch64)",
[ESR_ELx_EC_HVC64] = handle_hvc,
if (esr_ec == ESR_ELx_EC_HVC32 || esr_ec == ESR_ELx_EC_HVC64)
case ESR_ELx_EC_HVC64: