__FPU_USED

Constant __FPU_USED 

Source
pub const __FPU_USED: u32 = 0;