Searched refs:ipi_gencnt (Results 1 – 4 of 4) sorted by relevance
139 printf(" ipi_gencnt %lld\n", (long long)info.ipi_gencnt); in dumptcb()
311 u_quad_t ipi_gencnt; /* current generation count */ member
284 inp->inp_gencnt = ++pcbinfo->ipi_gencnt; in in_pcballoc()1208 inp->inp_gencnt = ++ipi->ipi_gencnt; in in_pcbdetach()
399 inp->inp_gencnt = ++ipi->ipi_gencnt; in in6_pcbdetach()