Constant simics_api_sys::ARM_INT_IRQ

pub const ARM_INT_IRQ: u32 = 0;