pub const CPU_BASED2_WBINVD: u64 = 1 << 6; // 64u64