/* defined in kern/kern_synch.c */ /* Decay 95% of proc::p_pctcpu in 60 seconds, ccpu = exp(-1/20) */