Use run_as_rkm() for simple functions
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 20 Jul 2018 02:12:15 +0000 (22:12 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 20 Jul 2018 14:25:54 +0000 (10:25 -0400)
commit59a5912569f51e802dfd6f63269c72e57b530d67
tree43d661d00df1eac6de4fa218eabd1b5aa97e11d4
parent324dd8b894f90da8199121d1ee523a8066faa9ba
Use run_as_rkm() for simple functions

These were a few places where the kernel message trampoline was just a
wrapper around a single function.  There are a bunch of places where
there is a separate function that does a bunch of things in the kmsg.
I'm fine with leaving them as-is for now.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/src/kthread.c
kern/src/rcu.c
kern/src/schedule.c
kern/src/taskqueue.c