[][src]Constant CCODE::FILE_DEVICE_FIPS

pub const FILE_DEVICE_FIPS: u32 = 58;