ESR_ELx_EC_HVC32
[ESR_ELx_EC_HVC32] = "HVC (AArch32)",
[ESR_ELx_EC_HVC32] = handle_hvc,
if (esr_ec == ESR_ELx_EC_HVC32 || esr_ec == ESR_ELx_EC_HVC64)