tree d19f89398025f9a1151a98713d6ccda7dcedcdf1
parent 341b42736609fce4d2c4a3f33656567c1d95f009
author Andy Ross <andrew.j.ross@intel.com> 1523483567 -0700
committer Andrew Boie <andrewboie@gmail.com> 1524687203 -0700

kernel: Prune ksched.h of dead code

There was a ton of junk in this header.  Pare it down to just the
stuff actually used by code outside of sched.c, move the needed
internal stuff into sched.c itself, and drop everything else.

Note that (other than the tiny inlines that remain here in the header)
the scheduler interface exposed to the rest of the system is now
composed of just 12 functions.

Signed-off-by: Andy Ross <andrew.j.ross@intel.com>