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