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