pub const CPU_BASED_INVLPG: u64 = 1 << 9; // 512u64