Symbol: ia64_sync_icache
sys/arch/ia64/ia64/pmap.c
1800
ia64_sync_icache(va, PAGE_SIZE);
sys/arch/ia64/ia64/pmap.c
1927
ia64_sync_icache(sva, PAGE_SIZE);
sys/arch/ia64/ia64/pmap.c
2589
ia64_sync_icache(va, len);
sys/arch/ia64/include/md_var.h
101
void ia64_sync_icache(vaddr_t, vaddr_t);