Constant panda_sys::CPUID_EXT2_PGE[−][src]

pub const CPUID_EXT2_PGE: u32 = 8192;