Mips_HitInvalidateDCache
#ifndef Mips_HitInvalidateDCache
Mips_HitInvalidateDCache(ci, s, PAGE_SIZE);