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