Lines Matching refs:VERIFY
2201 VERIFY(cur->so_vnode == orig->so_vnode);
2202 VERIFY(cur->so_ops == orig->so_ops);
2204 * For so_state we can only VERIFY the state flags in CHECK_STATE.
2211 VERIFY((cur->so_state & (orig->so_state & CHECK_STATE)) ==
2213 VERIFY(cur->so_mode == orig->so_mode);
2214 VERIFY(cur->so_flag == orig->so_flag);
2215 VERIFY(cur->so_count == orig->so_count);
2216 /* Cannot VERIFY so_proto_connid; proto can update it */
2217 VERIFY(cur->so_sockparams == orig->so_sockparams);
2219 VERIFY(cur->so_error != 0 || orig->so_error == 0);
2220 VERIFY(cur->so_family == orig->so_family);
2221 VERIFY(cur->so_type == orig->so_type);
2222 VERIFY(cur->so_protocol == orig->so_protocol);
2223 VERIFY(cur->so_version == orig->so_version);
2225 VERIFY(cur->so_acceptq_len >= orig->so_acceptq_len);
2226 VERIFY(list_head(&cur->so_acceptq_list) ==
2228 VERIFY(cur->so_backlog == orig->so_backlog);
2230 VERIFY(cur->so_oobmark >= orig->so_oobmark);
2231 /* Cannot VERIFY so_oobmsg; the proto might have sent up a new one */
2232 VERIFY(cur->so_pgrp == orig->so_pgrp);
2233 VERIFY(cur->so_peercred == orig->so_peercred);
2234 VERIFY(cur->so_cpid == orig->so_cpid);
2235 VERIFY(cur->so_zoneid == orig->so_zoneid);
2237 VERIFY(cur->so_rcv_queued >= orig->so_rcv_queued);
2238 VERIFY(cur->so_rcv_q_head == orig->so_rcv_q_head);
2239 VERIFY(cur->so_rcv_head == orig->so_rcv_head);
2240 VERIFY(cur->so_proto_handle == orig->so_proto_handle);
2241 VERIFY(cur->so_downcalls == orig->so_downcalls);
2242 /* Cannot VERIFY so_proto_props; they can be updated by proto */