cpu_check_ce
cpu_check_ce(TIMEOUT_CEEN_CHECK, 0, 0, 0);
xc_one(cp->cpu_id, (xcfunc_t *)cpu_check_ce,
cpu_check_ce(SCRUBBER_CEEN_CHECK,
cpu_check_ce(
void cpu_check_ce(int, uint64_t, caddr_t, uint_t);