Constant panda_sys::CPUID_PGE

source · 
pub const CPUID_PGE: u32 = 8192;