seL4/include/kernel
Indan Zupancic d58e2368dd Simplify chargeBudget()
All callers left are on the same core.

Signed-off-by: Indan Zupancic <Indan.Zupancic@mep-info.com>
2021-12-02 15:42:13 +11:00
..
boot.h boot: remove ndks_boot.slot_pos_max 2021-09-02 08:44:24 +10:00
cspace.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
faulthandler.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
sporadic.h mcs: sc_active not always true in sc_sporadic 2021-08-20 16:52:12 +10:00
stack.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
thread.h Simplify chargeBudget() 2021-12-02 15:42:13 +11:00
traps.h KernelBenchmarksTrackUtilisation: Add more stats 2020-07-15 15:15:27 +10:00
vspace.h Make kernel log buffer derived from cmake config 2020-11-10 16:24:43 +11:00