Symbol: ce_ptnrchk_xc
usr/src/uts/sun4u/cpu/us3_common.c
3194
xc_one(cp->cpu_id, (xcfunc_t *)ce_ptnrchk_xc, (uint64_t)aflt,
usr/src/uts/sun4u/cpu/us3_common.c
3314
xc_one(cp->cpu_id, (xcfunc_t *)ce_ptnrchk_xc,