ls2f_hitwbinv_secondary
ls2f_hitwbinv_secondary(va, sz);
static __inline__ void ls2f_hitwbinv_secondary(vaddr_t, vsize_t);