SCHEDPAGING_HZ
max_pushes = maxpgio / SCHEDPAGING_HZ;
NANOSEC * min_percent_cpu / 100 / SCHEDPAGING_HZ);
NANOSEC * max_percent_cpu / 100 / SCHEDPAGING_HZ);
desscan = fastscan / SCHEDPAGING_HZ;
nz(lotsfree) / SCHEDPAGING_HZ;
(void) timeout(schedpaging, arg, hz / SCHEDPAGING_HZ);