Constant HUGETLB_FLAG_ENCODE_512MB 

pub const HUGETLB_FLAG_ENCODE_512MB: u32 = 1946157056;