Constant panda_sys::CPUID_PGE[−][src]

pub const CPUID_PGE: u32 = 8192;