Removes EBADPROC
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 18 Oct 2012 22:22:22 +0000 (15:22 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 18 Oct 2012 22:22:22 +0000 (15:22 -0700)
commitd68c976dbdc5f759828f5bdeee2a44adf69155ba
tree77cc62fa5cde95a1a7c07ce0f2e620896cf8acd7
parent50b14e5b02d7cceb503d6d4fac9f7120e9f74394
Removes EBADPROC

Which is really ESRCH.  No real need to reinstall your kernel headers,
unless you happen to try to compile program that was using that error
number...
kern/include/ros/errno.h
kern/src/syscall.c