seL4/include/fastpath
Gerwin Klein 7c11116b65 fastpath: apply MCS queue changes to signal FP
Apply the changes from commit 771c9e43ce to the signal fast path,
which was missed there.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2026-05-22 13:31:04 +01:00
..
fastpath.h fastpath: apply MCS queue changes to signal FP 2026-05-22 13:31:04 +01:00