seL4/include/smp
Indan Zupancic 503a5358c7 Remove unused doReschedule()
Signed-off-by: Indan Zupancic <Indan.Zupancic@mep-info.com>
2021-12-02 15:42:13 +11:00
..
ipi.h Remove unused doReschedule() 2021-12-02 15:42:13 +11:00
lock.h Repair barriers in clh_lock_acquire 2020-06-22 11:53:08 +10:00