Constant FILE_DEVICE_FIPS 

pub const FILE_DEVICE_FIPS: u32 = 58u32;