riot_sys

Constant __FPU_USED

Source
pub const __FPU_USED: u32 = 1;