Code

kern.cp_times needs array of length kern.smp.maxcpus