Symbol: PTE_SYNC_RANGE
sys/arch/arm/arm/pmap7.c
2064
PTE_SYNC_RANGE(ptep, PAGE_SIZE / sizeof(pt_entry_t));
sys/arch/arm/arm/pmap7.c
2589
PTE_SYNC_RANGE(&pde[slot + 0], 4);
sys/arch/arm/arm/pmap7.c
781
PTE_SYNC_RANGE(ptep, L2_TABLE_SIZE_REAL / sizeof(pt_entry_t));