mips64r2_hitinv_primary
mips64r2_hitinv_primary(va, sz, ci->ci_l1data.linesize);
mips64r2_hitinv_primary(va, sz, ci->ci_l1data.linesize);
static __inline__ void mips64r2_hitinv_primary(vaddr_t, vsize_t, vsize_t);