Constant __glibcxx_hardware_interference_size 

pub const __glibcxx_hardware_interference_size: u32 = 201703;