seL4/include/smp
2017-06-23 10:36:36 +10:00
..
ipi.h SMP: allow an architecture to provide its own optimised IPI send function 2017-06-23 10:36:36 +10:00
lock.h SELFOUR-747: SMP/x86: generalize arch-independent IPI code 2017-06-23 10:36:36 +10:00