ARM_LPAE_PTE_DBM
(((pte) & ARM_LPAE_PTE_AP_WR_CLEAN_MASK) == ARM_LPAE_PTE_DBM)
pte |= ARM_LPAE_PTE_DBM;
ARM_LPAE_PTE_DBM)