ESR_ELx_EC_SMC64
[ESR_ELx_EC_SMC64] = "SMC (AArch64)",
[ESR_ELx_EC_SMC64] = handle_smc,
case ESR_ELx_EC_SMC64:
if (ec == ESR_ELx_EC_SMC32 || ec == ESR_ELx_EC_SMC64)