Constant XENFS_SUPER_MAGIC 

pub const XENFS_SUPER_MAGIC: u32 = 2881100148;