On 03/23/2018 12:12 PM, Nadav Amit wrote: >> /* >> + * Setting 'target_pmd' below creates a mapping in both >> + * the user and kernel page tables. It is effectively >> + * global, so set it as global in both copies. >> + */ >> + *pmd = pmd_set_flags(*pmd, _PAGE_GLOBAL); > if (boot_cpu_has(X86_FEATURE_PGE)) ?
Good catch. I'll update that.
