Use get_pcoreid() in proc management code
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 28 May 2010 19:01:38 +0000 (12:01 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:47 +0000 (17:35 -0700)
commit8e8cd1248a272d606e44642a58eac8be08f36750
tree13fef35ab733c1a0d103759a383cb52bc5e8274a
parent34632701af7c59e3be49ee017ff664b5ad5d5353
Use get_pcoreid() in proc management code

Will properly convert its usage in resource.c once I split that up a
bit.
kern/src/process.c
kern/src/resource.c