ESR_ELx_EC_SMC32
[ESR_ELx_EC_SMC32] = "SMC (AArch32)",
[ESR_ELx_EC_SMC32] = handle_smc,
if (ec == ESR_ELx_EC_SMC32 || ec == ESR_ELx_EC_SMC64)