ESTCPULIM         587 kern/sched_bsd.c 	p->p_estcpu = ESTCPULIM(p->p_estcpu + 1);
ESTCPULIM         138 sys/sched.h    	(parent)->p_estcpu = ESTCPULIM((parent)->p_estcpu + (child)->p_estcpu);\