Constant SELINUX_MAGIC 

pub const SELINUX_MAGIC: u32 = 4185718668;