pub const CPUID_EXT3_PERFCORE: u32 = 8388608;