Renames ridiculous sys_getcpuid call (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 8 Dec 2011 00:50:45 +0000 (16:50 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 15 Dec 2011 22:48:41 +0000 (14:48 -0800)
commit17aa40f8f9231243afa57c116a264c09a264ec2f
treed912fb20d767035ee5102586a69d301b89a9af62
parent35e0d6f59780993c9c8bdb49d39d640c739b2d30
Renames ridiculous sys_getcpuid call (XCC)

You don't really need to call that, since you can check the vcoremap,
but we'll keep the call around for now (debugging).  But it's now called
getpcoreid, which is more clearly what it is.

Not like we need a syscall to do a cpuid.  Or to change the stack
pointer...  =P

Reinstall your kernel header (ros/bits/syscall.h).
kern/include/ros/bits/syscall.h
kern/src/syscall.c
tests/manycore_test.c
user/parlib/include/parlib.h
user/parlib/syscall.c