| /xnu-12377.41.6/bsd/skywalk/mem/ |
| H A D | skmem_test.c | 187 VERIFY(pp_ctx == &skmem_pp_ctx); in skmem_pp_ctx_refcnt() 195 VERIFY(pp_ctx == &skmem_pp_ctx); in skmem_pp_ctx_retain() 203 VERIFY(pp_ctx == &skmem_pp_ctx); in skmem_pp_ctx_release() 233 VERIFY(!(flags & KBIF_QUANTUM)); in skmem_buflet_tests() 257 VERIFY(kern_pbufpool_create(&pp_init, &pp, NULL) == EINVAL); in skmem_buflet_tests() 260 VERIFY(kern_pbufpool_create(&pp_init, &pp, NULL) == EINVAL); in skmem_buflet_tests() 263 VERIFY(kern_pbufpool_create(&pp_init, &pp, NULL) == EINVAL); in skmem_buflet_tests() 266 VERIFY(kern_pbufpool_create(&pp_init, &pp, NULL) == 0); in skmem_buflet_tests() 267 VERIFY(skmem_pp_ctx_refcnt(&skmem_pp_ctx) == 2); in skmem_buflet_tests() 269 VERIFY(ctx == &skmem_pp_ctx); in skmem_buflet_tests() [all …]
|
| /xnu-12377.41.6/bsd/skywalk/nexus/kpipe/ |
| H A D | nx_kpipe_loopback.c | 62 VERIFY(((uintptr_t)(addr) ^ (uintptr_t)(ctx)) == kplo_seed) 85 VERIFY(kplo_drv_slots == 0); in kplo_dom_init() 86 VERIFY(kplo_ntxrings == 0 && kplo_nrxrings == 0); in kplo_dom_init() 87 VERIFY(kplo_ntxslots == 0 && kplo_nrxslots == 0); in kplo_dom_init() 88 VERIFY(kplo_bufsz == 0 && kplo_mdatasz == 0); in kplo_dom_init() 89 VERIFY(kplo_pipes == 0); in kplo_dom_init() 90 VERIFY(kplo_rxring == NULL && kplo_txring == NULL); in kplo_dom_init() 91 VERIFY(kplo_tx_pp == NULL && kplo_rx_pp == NULL); in kplo_dom_init() 108 VERIFY(kplo_busy); in kplo_dom_fini() 111 VERIFY(kplo_drv_slots == 0); in kplo_dom_fini() [all …]
|
| /xnu-12377.41.6/bsd/skywalk/core/ |
| H A D | skywalk.c | 335 VERIFY(!__sk_inited); in skywalk_init() 685 VERIFY(__u._u64 != 0); in sk_gen_guard_id() 806 VERIFY(0); in sk_ntop() 887 VERIFY(0); in sk_sa_get_port() 898 VERIFY(p != kernproc); in skywalk_kill_process() 1162 VERIFY(fk_mask_2tuple.fk_mask == FKMASK_2TUPLE); in skywalk_memcmp_mask_self_tests() 1163 VERIFY(fk_mask_2tuple.fk_ipver == 0); in skywalk_memcmp_mask_self_tests() 1164 VERIFY(fk_mask_2tuple.fk_proto == 0xff); in skywalk_memcmp_mask_self_tests() 1165 VERIFY(fk_mask_2tuple.fk_sport == 0xffff); in skywalk_memcmp_mask_self_tests() 1166 VERIFY(fk_mask_2tuple.fk_dport == 0); in skywalk_memcmp_mask_self_tests() [all …]
|
| /xnu-12377.41.6/bsd/net/classq/ |
| H A D | classq.c | 102 VERIFY(0); in _qinit() 140 VERIFY(0); in _addq() 146 VERIFY(qlen(q) != 0); in _addq() 175 VERIFY(0); in _addq_multi() 212 VERIFY(0); in _getq() 218 VERIFY(qlen(q) == 0); in _getq() 224 VERIFY(qlen(q) > 0); in _getq() 287 VERIFY(0); in _getq_flow_or_scidx() 293 VERIFY(qlen(q) > 0); in _getq_flow_or_scidx() 356 VERIFY(0); in _getq_all() [all …]
|
| H A D | classq_subr.c | 103 VERIFY(IFCQ_IS_EMPTY(ifq)); in ifclassq_setup() 110 VERIFY(!IFCQ_TBR_IS_ENABLED(ifq)); in ifclassq_setup() 111 VERIFY(ifq->ifcq_type == PKTSCHEDT_NONE); in ifclassq_setup() 112 VERIFY(ifq->ifcq_flags == 0); in ifclassq_setup() 113 VERIFY(ifq->ifcq_sflags == 0); in ifclassq_setup() 114 VERIFY(ifq->ifcq_disc == NULL); in ifclassq_setup() 203 VERIFY(IFCQ_IS_EMPTY(ifq)); in ifclassq_teardown() 204 VERIFY(!IFCQ_TBR_IS_ENABLED(ifq)); in ifclassq_teardown() 205 VERIFY(ifq->ifcq_type == PKTSCHEDT_NONE); in ifclassq_teardown() 206 VERIFY(ifq->ifcq_flags == 0); in ifclassq_teardown() [all …]
|
| /xnu-12377.41.6/bsd/net/ |
| H A D | pf_pbuf.c | 37 VERIFY((m->m_flags & M_PKTHDR) != 0); in pbuf_init_mbuf() 65 VERIFY(pbuf->pb_memory.pm_buffer != NULL); in pbuf_destroy() 69 VERIFY(pbuf->pb_type == PBUF_TYPE_ZOMBIE); in pbuf_destroy() 81 VERIFY(m != NULL); in pbuf_sync() 82 VERIFY(m->m_flags & M_PKTHDR); in pbuf_sync() 101 VERIFY(nm->pm_buffer != NULL); in pbuf_sync() 102 VERIFY(nm->pm_buffer_len != 0); in pbuf_sync() 103 VERIFY(nm->pm_len != 0); in pbuf_sync() 104 VERIFY(nm->pm_len <= nm->pm_buffer_len); in pbuf_sync() 105 VERIFY(nm->pm_offset < nm->pm_len); in pbuf_sync() [all …]
|
| H A D | dlil.c | 329 VERIFY(ifp->if_flt_no_tso_count != 0); in ifnet_filter_update_tso() 578 VERIFY(err == 0); in dlil_attach_netif_nexus_common() 846 VERIFY(err == 0); in _dlil_attach_flowswitch_nexus() 849 VERIFY(err == 0); in _dlil_attach_flowswitch_nexus() 856 VERIFY(err == 0); in _dlil_attach_flowswitch_nexus() 1473 VERIFY(dlil_pending_thread_cnt == 0); in dlil_init() 1502 VERIFY((!pe_enable_fsw_transport_netagent && in dlil_init() 1766 VERIFY(ifp->if_flt_non_os_count != 0); in dlil_detach_filter_internal() 1808 VERIFY(ifp->if_flt_non_os_count != 0); in dlil_detach_filter_internal() 1832 VERIFY(OSDecrementAtomic64(&net_api_stats.nas_iflt_attach_count) > 0); in dlil_detach_filter_internal() [all …]
|
| H A D | if_utun.c | 345 VERIFY(0); in utun_find_tx_ring_by_svc() 424 VERIFY(pcb->utun_netif_rxring[0] == NULL); in utun_netif_ring_init() 432 VERIFY(err == 0); in utun_netif_ring_init() 434 VERIFY(ring_idx < UTUN_IF_WMM_RING_COUNT); in utun_netif_ring_init() 439 VERIFY(pcb->utun_netif_txring[ring_idx] == NULL); in utun_netif_ring_init() 456 VERIFY(!found); in utun_netif_ring_fini() 463 VERIFY(!found); in utun_netif_ring_fini() 467 VERIFY(found); in utun_netif_ring_fini() 507 VERIFY(ring_idx < UTUN_IF_MAX_RING_COUNT); in utun_netif_sync_tx() 545 VERIFY(tx_buf != NULL); in utun_netif_sync_tx() [all …]
|
| H A D | dlil_input.c | 103 VERIFY(inp == dlil_main_input_thread); in dlil_create_input_thread() 111 VERIFY(inp != dlil_main_input_thread); in dlil_create_input_thread() 119 VERIFY(inp != dlil_main_input_thread); in dlil_create_input_thread() 129 VERIFY(inp != dlil_main_input_thread); in dlil_create_input_thread() 134 VERIFY(inp->dlth_thread == THREAD_NULL); in dlil_create_input_thread() 231 VERIFY(current_thread() == inp->dlth_thread); in dlil_terminate_input_thread() 232 VERIFY(inp != dlil_main_input_thread); in dlil_terminate_input_thread() 250 VERIFY((inp->dlth_flags & DLIL_INPUT_TERMINATE) != 0); in dlil_terminate_input_thread() 380 VERIFY(inp->dlth_poller_thread == THREAD_NULL); in dlil_input_async() 383 VERIFY(inp->dlth_driver_thread == THREAD_NULL); in dlil_input_async() [all …]
|
| H A D | flowadv.c | 150 VERIFY(!STAILQ_EMPTY(&fadv_list)); in flowadv_add() 164 VERIFY(!STAILQ_EMPTY(&fadv_list)); in flowadv_add_entry() 180 VERIFY(!fadv_active); in flowadv_thread_cont() 190 VERIFY(!STAILQ_EMPTY(&fadv_list)); in flowadv_thread_cont() 274 VERIFY(0); in flowadv_thread_func()
|
| H A D | if_ipsec.c | 118 …SEC_IF_VERIFY(_e) if (__improbable(if_ipsec_verify_interface_creation)) { VERIFY(_e); } 559 VERIFY(pcb->ipsec_kpipe_count != 0); in ipsec_nexus_pre_disconnect() 614 VERIFY(pcb->ipsec_kpipe_rxring[ring_idx] == NULL); in ipsec_kpipe_ring_init() 617 VERIFY(pcb->ipsec_kpipe_txring[ring_idx] == NULL); in ipsec_kpipe_ring_init() 640 VERIFY(found); in ipsec_kpipe_ring_fini() 664 VERIFY(pcb->ipsec_kpipe_count); in ipsec_kpipe_sync_tx() 694 VERIFY(interface != NULL); in ipsec_encrypt_kpipe_pkt() 695 VERIFY(sph != 0); in ipsec_encrypt_kpipe_pkt() 696 VERIFY(dph != 0); in ipsec_encrypt_kpipe_pkt() 699 VERIFY(sbuf != NULL); in ipsec_encrypt_kpipe_pkt() [all …]
|
| /xnu-12377.41.6/tools/tests/perf_index/ |
| H A D | test_file_helper.c | 40 VERIFY(fd >= 0, "open failed"); in test_file_create() 48 VERIFY(retval == 0, "unlink failed"); in test_file_create() 72 VERIFY(fd >= 0, "open failed"); in test_file_read_setup() 79 VERIFY(retval == writelen, "write failed"); in test_file_read_setup() 105 VERIFY(fd >= 0, "open failed"); in test_file_read() 113 VERIFY(retval >= 0, "lseek failed"); in test_file_read() 119 VERIFY(retval == readlen, "read failed"); in test_file_read() 134 VERIFY(retval == 0, "unlink failed"); in test_file_read_cleanup() 147 VERIFY(fds, "malloc failed"); in test_file_write_setup() 181 VERIFY(retval == writelen, "write failed"); in test_file_write() [all …]
|
| H A D | perfindex-compile.c | 18 VERIFY(retval > 0, "asprintf failed"); 21 VERIFY(retval == 0, "ditto command failed"); 37 VERIFY(retval > 0, "asprintf failed"); 40 VERIFY(retval == 0, "make command failed"); 50 VERIFY(retval > 0, "asprintf failed"); 53 VERIFY(retval == 0, "rm command failed");
|
| H A D | test_fault_helper.c | 25 VERIFY(memblock != MAP_FAILED, "mmap failed"); in test_fault_setup() 34 VERIFY(retval == 0, "mprotect failed"); in test_fault_setup() 37 VERIFY(retval == 0, "mprotect failed"); in test_fault_setup() 82 VERIFY(retval == 0, "mprotect failed"); in test_fault_helper() 84 VERIFY(retval == 0, "mprotect failed"); in test_fault_helper() 87 VERIFY(retval == 0, "munmap failed"); in test_fault_helper() 89 VERIFY(ptr != 0, "mmap failed"); in test_fault_helper()
|
| H A D | ramdisk.c | 15 VERIFY(retval > 0, "asprintf failed"); in setup_ram_volume() 18 VERIFY(retval == 0, "diskutil command failed"); in setup_ram_volume() 34 VERIFY(retval > 0, "asprintf failed"); in cleanup_ram_volume() 37 VERIFY(retval == 0, "diskutil command failed"); in cleanup_ram_volume()
|
| H A D | perfindex-iperf.c | 7 VERIFY(test_argc > 0, "missing argument"); 17 VERIFY(retval > 0, "asprintf failed"); 20 VERIFY(retval == 0, "iperf command failed");
|
| H A D | perfindex-file_write.c | 15 VERIFY(retval, "tempdir setup failed"); 30 VERIFY(retval == PERFINDEX_SUCCESS, "test_file_read_cleanup failed"); 33 VERIFY(retval == 0, "cleanup_tempdir failed");
|
| H A D | perfindex-file_read.c | 14 VERIFY(retval, "tempdir setup failed"); 29 VERIFY(retval == PERFINDEX_SUCCESS, "test_file_read_cleanup failed"); 32 VERIFY(retval == 0, "cleanup_tempdir failed");
|
| /xnu-12377.41.6/bsd/skywalk/namespace/ |
| H A D | flowidns.c | 148 VERIFY(__flowidns_inited == 1); in flowidns_allocate_flowid() 149 VERIFY(pflowid != NULL); in flowidns_allocate_flowid() 150 VERIFY(pflow_key != NULL); in flowidns_allocate_flowid() 151 VERIFY(domain >= FLOWIDNS_DOMAIN_MIN && in flowidns_allocate_flowid() 182 VERIFY(retry_cnt <= FLOWIDNS_MAX_FLOWID_GEN_RETRY); in flowidns_allocate_flowid() 187 VERIFY(flowidns_domain_array[domain].fd_nallocs != 0); in flowidns_allocate_flowid() 200 VERIFY(__flowidns_inited == 1); in flowidns_release_flowid() 201 VERIFY(flowid != 0); in flowidns_release_flowid() 204 VERIFY(domain >= FLOWIDNS_DOMAIN_MIN && in flowidns_release_flowid() 221 VERIFY(flowidns_domain_array[domain].fd_nreleases != 0); in flowidns_release_flowid() [all …]
|
| /xnu-12377.41.6/bsd/kern/ |
| H A D | uipc_mbuf_mcache.c | 1069 VERIFY(nmbclusters != 0 && !(nmbclusters & 0x1)); in mbinit() 1111 VERIFY(mcl_audit_con_cache != NULL); in mbinit() 1139 VERIFY(((embutl - mbutl) % MBIGCLBYTES) == 0); in mbinit() 1159 VERIFY(m_total(MC_BIGCL) == 0 && m_minlimit(MC_BIGCL) != 0); in mbinit() 1161 VERIFY(m_total(MC_BIGCL) >= m_minlimit(MC_BIGCL)); in mbinit() 1166 VERIFY(m_minlimit(m_class(m)) == 0 || in mbinit() 1253 VERIFY(m_cobjlist(class) == NULL); in slab_alloc() 1270 VERIFY(m_infree(class) == 0 && m_slab_cnt(class) == 0); in slab_alloc() 1275 VERIFY(m_infree(class) > 0); in slab_alloc() 1276 VERIFY(!slab_is_detached(sp)); in slab_alloc() [all …]
|
| H A D | uipc_domain.c | 140 VERIFY(pp->pr_flags & PR_OLD); in pr_init_old() 141 VERIFY(pp->pr_old != NULL); in pr_init_old() 151 VERIFY(pp->pr_flags & PR_ATTACHED); in init_proto() 166 VERIFY(!(pp->pr_flags & PR_ATTACHED)); in attach_proto() 167 VERIFY(pp->pr_domain == NULL); in attach_proto() 168 VERIFY(pp->pr_protosw == NULL); in attach_proto() 183 VERIFY(pp->pr_flags & PR_ATTACHED); in detach_proto() 184 VERIFY(pp->pr_domain == dp); in detach_proto() 185 VERIFY(pp->pr_protosw == pp); in detach_proto() 196 VERIFY(dp->dom_flags & DOM_OLD); in dom_init_old() [all …]
|
| /xnu-12377.41.6/bsd/netinet6/ |
| H A D | nd6_prproxy.c | 248 VERIFY(up->ndprl_up == NULL); in nd6_prproxy_prelist_setroute() 253 VERIFY(!prproxy || ((pr->ndpr_stateflags & NDPRF_ONLINK) && in nd6_prproxy_prelist_setroute() 257 VERIFY(pr->ndpr_prproxy_sols_cnt == 0); in nd6_prproxy_prelist_setroute() 258 VERIFY(RB_EMPTY(&pr->ndpr_prproxy_sols)); in nd6_prproxy_prelist_setroute() 307 VERIFY(pr_up != NULL); in nd6_prproxy_prelist_setroute() 312 VERIFY(!prproxy || ((pr_up->ndpr_stateflags & NDPRF_ONLINK) && in nd6_prproxy_prelist_setroute() 482 VERIFY(SLIST_EMPTY(&up_head)); in nd6_if_prproxy() 483 VERIFY(SLIST_EMPTY(&down_head)); in nd6_if_prproxy() 508 VERIFY(ro6 == NULL); in nd6_prproxy_isours() 531 VERIFY(in6_are_addr_equal_scoped(&ip6->ip6_dst, in nd6_prproxy_isours() [all …]
|
| H A D | in6_cga.c | 87 VERIFY(in6_cga.cga_initialized); in in6_cga_node_lock_assert() 100 VERIFY(prepare != NULL); in in6_cga_is_prepare_valid() 101 VERIFY(pubkey != NULL && pubkey->iov_base != NULL); in in6_cga_is_prepare_valid() 120 VERIFY(n < SHA1_RESULTLEN); in in6_cga_is_prepare_valid() 162 VERIFY(prepare != NULL); in in6_cga_generate_iid() 163 VERIFY(prepare->cga_security_level < 8); in in6_cga_generate_iid() 164 VERIFY(pubkey != NULL && pubkey->iov_base != NULL); in in6_cga_generate_iid() 165 VERIFY(in6 != NULL); in in6_cga_generate_iid() 199 VERIFY(in6_cga.cga_initialized); in in6_cga_node_lock() 206 VERIFY(in6_cga.cga_initialized); in in6_cga_node_unlock() [all …]
|
| /xnu-12377.41.6/bsd/net/pktsched/ |
| H A D | pktsched.c | 216 VERIFY(machclk_freq != 0); in pktsched_setup() 244 VERIFY(ifq->ifcq_type == PKTSCHEDT_NONE); in pktsched_setup() 245 VERIFY(ifq->ifcq_disc == NULL); in pktsched_setup() 267 VERIFY(IFCQ_IS_EMPTY(ifq)); in pktsched_teardown() 303 VERIFY(0); in pktsched_pkt_encap() 328 VERIFY(0); in pktsched_pkt_encap_chain() 373 VERIFY(kern_packet_finalize(ph2) == 0); in pktsched_clone_pkt() 379 VERIFY(0); in pktsched_clone_pkt() 423 VERIFY(0); in pktsched_corrupt_packet() 445 VERIFY(m->m_nextpkt == NULL); in pktsched_free_pkt() [all …]
|
| /xnu-12377.41.6/bsd/netinet/ |
| H A D | mptcp_timer.c | 110 VERIFY(0); in mptcp_timer_demux() 150 VERIFY(mpp->mpp_flags & MPP_ATTACHED); in mptcp_timer() 189 VERIFY(0); in mptcp_start_timer() 239 VERIFY(mp_so->so_usecount >= 0); in mptcp_urgency_timer() 259 VERIFY(mp_so->so_usecount >= 1); in mptcp_urgency_stop() 288 VERIFY(mp_so->so_usecount >= 1); in mptcp_set_urgency_timer() 346 VERIFY(mp_so->so_usecount >= 1); in mptcp_cancel_urgency_timer() 352 VERIFY(mp_so->so_usecount >= 1); in mptcp_cancel_urgency_timer()
|