riot_sys::bindgen

Constant __FPU_PRESENT

Source 
pub const __FPU_PRESENT: u32 = 1;