seL4/include/smp
Indan Zupancic 1c154c85f5 SMP: Avoid undefined CAS delays in kernel lock
Align the kernel lock to the exclusive reservation granule size.
Without this nearby writes can delay atomic operations implemented
with looping exclusive load/store instructions for an undefined time.

Cleanup IPI code.

Signed-off-by: Indan Zupancic <Indan.Zupancic@mep-info.com>
2025-02-27 09:29:48 +11:00
..
ipi.h SMP: Avoid undefined CAS delays in kernel lock 2025-02-27 09:29:48 +11:00
lock.h SMP: Avoid undefined CAS delays in kernel lock 2025-02-27 09:29:48 +11:00