Constant riot_sys::NRF_FPU_BASE

pub const NRF_FPU_BASE: u32 = 1073897472;