sel4_
sys
0.1.0
sel4_sys
Constant
IRQ_OFFSET
Copy item path
Source
pub const IRQ_OFFSET: u32 = 48;