Lines Matching refs:VERIFY
272 VERIFY(la->la_rt->rt_llinfo == la);
285 VERIFY(rt->rt_llinfo_purge == arp_llinfo_purge && la != NULL);
383 VERIFY(la->la_llreach != NULL);
427 VERIFY(rt->rt_expire == 0 || rt->rt_rmx.rmx_expire != 0);
428 VERIFY(rt->rt_expire != 0 || rt->rt_rmx.rmx_expire == 0);
450 VERIFY(rt->rt_llinfo_purge != NULL);
539 VERIFY(rt->rt_expire == 0 || rt->rt_rmx.rmx_expire != 0);
540 VERIFY(rt->rt_expire != 0 || rt->rt_rmx.rmx_expire == 0);
998 VERIFY(route->rt_expire == 0 || route->rt_rmx.rmx_expire != 0);
999 VERIFY(route->rt_expire != 0 || route->rt_rmx.rmx_expire == 0);
1384 VERIFY(route->rt_expire == 0 || route->rt_rmx.rmx_expire != 0);
1385 VERIFY(route->rt_expire != 0 || route->rt_rmx.rmx_expire == 0);