PTE_SYNC_RANGE
PTE_SYNC_RANGE(pm->pm_l1, L1TT_SIZE / sizeof(pt_entry_t));
PTE_SYNC_RANGE(l2, L2_TABLE_SIZE_REAL / sizeof(pt_entry_t));
PTE_SYNC_RANGE(v, L1TT_SIZE / sizeof(pt_entry_t));
PTE_SYNC_RANGE(v, L2_TABLE_SIZE_REAL / sizeof(pt_entry_t));
PTE_SYNC_RANGE(ptep, way_size / L2_S_SIZE);
PTE_SYNC_RANGE(ptep, PAGE_SIZE / sizeof(pt_entry_t));
PTE_SYNC_RANGE(ptep, L2_L_SIZE / L2_S_SIZE);
PTE_SYNC_RANGE(sptep, (u_int)(ptep - sptep));
PTE_SYNC_RANGE(vtopte(va), size >> L2_S_SHIFT);
PTE_SYNC_RANGE(vtopte(va), size >> L2_S_SHIFT);