pub const CPU_BASED2_INVPCID: u64 = 1 << 12; // 4_096u64