Lines Matching refs:VERIFY
111 VERIFY(pp->pr_flags & PR_OLD);
112 VERIFY(pp->pr_old != NULL);
121 VERIFY(pp->pr_flags & PR_ATTACHED);
135 VERIFY(!(pp->pr_flags & PR_ATTACHED));
136 VERIFY(pp->pr_domain == NULL);
137 VERIFY(pp->pr_protosw == NULL);
152 VERIFY(pp->pr_flags & PR_ATTACHED);
153 VERIFY(pp->pr_domain == dp);
154 VERIFY(pp->pr_protosw == pp);
165 VERIFY(dp->dom_flags & DOM_OLD);
166 VERIFY(dp->dom_old != NULL);
175 VERIFY(dp->dom_flags & DOM_ATTACHED);
204 VERIFY(!(dp->dom_flags & DOM_ATTACHED));
214 VERIFY(dp->dom_flags & DOM_ATTACHED);
222 VERIFY(odp != NULL);
237 VERIFY(odp != NULL);
312 VERIFY(odp != NULL);
323 VERIFY(dp1->dom_old != NULL);
330 VERIFY(dp1->dom_flags & DOM_OLD);
331 VERIFY(dp1->dom_old == odp);
369 VERIFY(!(pp->pr_flags & PR_ATTACHED));
406 VERIFY(pp->pr_flags & PR_ATTACHED);