pub const CPUID_7_0_EBX_INVPCID: u32 = 1024;