PDE_SYNC_RANGE
PDE_SYNC_RANGE(spdep, pdep - spdep);
PDE_SYNC_RANGE(pdep, PAGE_SIZE / L2_T_SIZE);
PDE_SYNC_RANGE(&pdep[l1slot], L1_SS_SIZE / L1_S_SIZE);
PDE_SYNC_RANGE(&pdep[l1slot], size / L1_S_SIZE);