tree 43d661d00df1eac6de4fa218eabd1b5aa97e11d4
parent 324dd8b894f90da8199121d1ee523a8066faa9ba
author Barret Rhoden <brho@cs.berkeley.edu> 1532052735 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1532096754 -0400

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>