Constant CPUID_PGE 

pub const CPUID_PGE: u32 = 8192;