CCPU_SHIFT
#if (FSHIFT >= CCPU_SHIFT)
(cpt - p->p_cpticks2) << (FSHIFT - CCPU_SHIFT) :
<< (FSHIFT - CCPU_SHIFT)) / stathz;