Better ksched helpers for pcoreid <-> sched_pcore
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 1 May 2012 19:17:06 +0000 (12:17 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 5 Sep 2012 21:43:57 +0000 (14:43 -0700)
commitfe0776e8fe605663a080a8e08ff726d795948295
tree6714bb3a811b41aa357ccd5c7cb6a79288ad3667
parent04a1a13e5b7ad3895c07d934cd296f77fb8a2074
Better ksched helpers for pcoreid <-> sched_pcore

Also cleans up some debug/printing code (lists procs as pid (pointer),
instead of pointer (pid)).
kern/src/schedule.c