Cleans up preempt_pending helper functions
[akaros.git] / kern / arch / i686 / riscv
2011-11-03 Andrew Waterman32b/64b compatibility fixes