Symbol: mips_synci
sys/arch/mips/mips/cache_octeon.c
37
mips_synci(MIPS_KSEG0_START);
sys/arch/mips/mips/cache_octeon.c
46
mips_synci(MIPS_KSEG0_START);
sys/arch/mips/mips/cache_octeon.c
56
mips_synci(MIPS_KSEG0_START);