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