Remove `SYS_getpid` system call. (XCC)
authorDan Cross <crossd@gmail.com>
Wed, 5 Oct 2016 18:01:44 +0000 (14:01 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 5 Oct 2016 18:28:29 +0000 (14:28 -0400)
commit216b406e8bf6692b3efcc9b2113d5019776a7178
treee59b8daadea8d877c268ac773a6354b93ce40383
parentdb5ae5d0cf0b6fcc4986fd21999ae4a1c34e89ef
Remove `SYS_getpid` system call. (XCC)

Remove the redundant and now-unused `getpid` system call:
the replacement is a function in the C library that simply
retrieves the process ID form __procinfo.

Reinstall your kernel headers.

Change-Id: Ib0649a17c2a7daf1f01194545d4122daf25f9e25
Signed-off-by: Dan Cross <crossd@gmail.com>
[XCC]
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/include/ros/bits/syscall.h
kern/src/syscall.c