ARCH_PAGE_TABLE_SYNC_MASK
if (ARCH_PAGE_TABLE_SYNC_MASK & PGTBL_PGD_MODIFIED) \
if (ARCH_PAGE_TABLE_SYNC_MASK & PGTBL_P4D_MODIFIED) \
#ifndef ARCH_PAGE_TABLE_SYNC_MASK
if (mask & ARCH_PAGE_TABLE_SYNC_MASK)
if (mask & ARCH_PAGE_TABLE_SYNC_MASK)
if (mask & ARCH_PAGE_TABLE_SYNC_MASK)
if (mask & ARCH_PAGE_TABLE_SYNC_MASK)