Constant FUTEXFS_SUPER_MAGIC 

pub const FUTEXFS_SUPER_MAGIC: u32 = 195894762;