Lines Matching refs:VERIFY
201 VERIFY(rt->rt_llinfo_purge != NULL);
788 VERIFY(!(m->m_pkthdr.aux_flags & MAUXF_INET_RESOLVE_RTR));
1048 VERIFY(ndi != NULL && ndi->initialized);
1146 VERIFY(ndi != NULL && ndi->initialized);
1643 VERIFY(ndi != NULL && ndi->initialized);
1675 VERIFY(!dp->dad_attached);
1694 VERIFY(dp->dad_ifa == ifa);
1813 VERIFY(ndi != NULL && ndi->initialized);
2176 VERIFY(nd6_need_cache(ifp));
2177 VERIFY(sa);
2178 VERIFY(sdl && (void *)sa != (void *)sdl);
2179 VERIFY(sin6 && (void *)sa != (void *)sin6);
2196 VERIFY(sa->sa_len == sizeof *sin6);
2222 VERIFY(sa->sa_len <= sizeof *sdl);
2233 VERIFY(sdla->sdl_alen == ETHER_ADDR_LEN);
2248 VERIFY(false);
2271 VERIFY(rt->rt_flags & RTF_LLINFO);
2272 VERIFY(rt->rt_llinfo);