cpu_ce_delayed_ec_logout
static int cpu_ce_delayed_ec_logout(uint64_t);
if (!cpu_ce_delayed_ec_logout(ecc->flt_addr))
(void) cpu_ce_delayed_ec_logout(cpu_error_regs.afar);