Constant seL4_TCBFlag_fpuDisabled 

pub const seL4_TCBFlag_fpuDisabled: Type = 1;