riot_sys::bindgen

Constant NVIC_BASE

Source 
pub const NVIC_BASE: u32 = 3758153984;