Constant riot_sys::bindgen::TPI_BASE

pub const TPI_BASE: u32 = 3758358528;