Constant simics_api_sys::ARM_INT_SYSTICK

pub const ARM_INT_SYSTICK: u32 = 513;