Symbol: Mips_HitInvalidateDCache
sys/arch/mips64/include/cpu.h
542
#ifndef Mips_HitInvalidateDCache
sys/arch/mips64/mips64/pmap.c
1434
Mips_HitInvalidateDCache(ci, s, PAGE_SIZE);