Symbol: Mips_SyncCache
sys/arch/mips64/include/cpu.h
514
#ifndef Mips_SyncCache
sys/arch/octeon/octeon/machdep.c
1327
Mips_SyncCache(ci);