Constant HUGETLB_FLAG_ENCODE_512KB 

pub const HUGETLB_FLAG_ENCODE_512KB: u32 = 1275068416;