sys_getvcoreid uses the proc calls
authorBarret Rhoden <brho@cs.berkeley.edu>
Sat, 13 Mar 2010 05:29:44 +0000 (21:29 -0800)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:39 +0000 (17:35 -0700)
commitd3ffafeb0e3822839e2a5e4ec4974b5a31abd2fa
tree7424c7a6437f802df45a9fdfaa2f4365095da8f8
parent0fead5438dd80d248831cf7add9dfb3c86a34140
sys_getvcoreid uses the proc calls

Not a big deal, esp since we might get rid of sys_getvcoreid once all
userspaces cache their vcoreid in TLS right after startup.
kern/include/process.h
kern/src/process.c
kern/src/syscall.c