Constant riot_sys::CoreDebug_BASE

pub const CoreDebug_BASE: u32 = 3758157296;