Symbol: kdb_cpu_sync_icache
sys/gdb/gdb_packet.c
202
kdb_cpu_sync_icache(addr, size);
sys/powerpc/powerpc/db_interface.c
80
kdb_cpu_sync_icache((void *)addr, size);