Symbol: pmap_md_icache_sync_range_index
sys/arch/aarch64/include/pmap_machdep.h
154
void pmap_md_icache_sync_range_index(vaddr_t, vsize_t);
sys/arch/mips/include/pmap.h
125
void pmap_md_icache_sync_range_index(vaddr_t, vsize_t);
sys/uvm/pmap/pmap_synci.c
83
pmap_md_icache_sync_range_index(va, PAGE_SIZE);