seL4/include/arch
milicat d3d4cc6023 Fix macro to get irq idx from irqt
Signed-off-by: milicat <milicat@foxmail.com>
2024-06-25 22:18:54 +10:00
..
arm Fix macro to get irq idx from irqt 2024-06-25 22:18:54 +10:00
riscv/arch risc-v: improve comments 2024-05-23 15:48:04 +01:00
x86/arch x86 setDeadline: must set at least 1 tick 2023-11-08 11:01:00 +11:00