dfaef4b712
Helps the C compiler to recognise irqInvalid as a constant. This in turn helps with binary verification, because irqInvalid is already parsed as a constant in Isabelle since it is never written to. See also the discussion in #1349 and #1324 Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems> |
||
|---|---|---|
| .. | ||
| arm | ||
| riscv/arch | ||
| x86/arch | ||