cpu_ce_detected
void cpu_ce_detected(ch_cpu_errors_t *, int);
cpu_ce_detected(&cpu_error_regs,
cpu_ce_detected(&cpu_error_regs, CE_CEEN_TIMEOUT);