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