PGTBL_PGD_MODIFIED
(pgtable_l5_enabled() ? PGTBL_PGD_MODIFIED : PGTBL_P4D_MODIFIED)
if (ARCH_PAGE_TABLE_SYNC_MASK & PGTBL_PGD_MODIFIED) \
*mod_mask |= PGTBL_PGD_MODIFIED;
mask |= PGTBL_PGD_MODIFIED;
mask |= PGTBL_PGD_MODIFIED;