| /xnu-11417.101.15/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-11417.101.15/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-11417.101.15/bsd/skywalk/core/ |
| H A D | skywalk.c | 344 VERIFY(!__sk_inited); in skywalk_init() 695 VERIFY(__u._u64 != 0); in sk_gen_guard_id() 880 VERIFY(0); in sk_sa_get_port() 891 VERIFY(p != kernproc); in skywalk_kill_process() 1155 VERIFY(fk_mask_2tuple.fk_mask == FKMASK_2TUPLE); in skywalk_memcmp_mask_self_tests() 1156 VERIFY(fk_mask_2tuple.fk_ipver == 0); in skywalk_memcmp_mask_self_tests() 1157 VERIFY(fk_mask_2tuple.fk_proto == 0xff); in skywalk_memcmp_mask_self_tests() 1158 VERIFY(fk_mask_2tuple.fk_sport == 0xffff); in skywalk_memcmp_mask_self_tests() 1159 VERIFY(fk_mask_2tuple.fk_dport == 0); in skywalk_memcmp_mask_self_tests() 1160 VERIFY(fk_mask_2tuple.fk_src._addr64[0] == 0); in skywalk_memcmp_mask_self_tests() [all …]
|
| /xnu-11417.101.15/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 | 335 VERIFY(ifp->if_flt_no_tso_count != 0); in ifnet_filter_update_tso() 579 VERIFY(err == 0); in dlil_attach_netif_nexus_common() 847 VERIFY(err == 0); in _dlil_attach_flowswitch_nexus() 850 VERIFY(err == 0); in _dlil_attach_flowswitch_nexus() 857 VERIFY(err == 0); in _dlil_attach_flowswitch_nexus() 1461 VERIFY(dlil_pending_thread_cnt == 0); in dlil_init() 1490 VERIFY((!pe_enable_fsw_transport_netagent && in dlil_init() 1755 VERIFY(ifp->if_flt_non_os_count != 0); in dlil_detach_filter_internal() 1797 VERIFY(ifp->if_flt_non_os_count != 0); in dlil_detach_filter_internal() 1821 VERIFY(OSDecrementAtomic64(&net_api_stats.nas_iflt_attach_count) > 0); in dlil_detach_filter_internal() [all …]
|
| H A D | dlil_input.c | 102 VERIFY(inp == dlil_main_input_thread); in dlil_create_input_thread() 110 VERIFY(inp != dlil_main_input_thread); in dlil_create_input_thread() 118 VERIFY(inp != dlil_main_input_thread); in dlil_create_input_thread() 128 VERIFY(inp != dlil_main_input_thread); in dlil_create_input_thread() 133 VERIFY(inp->dlth_thread == THREAD_NULL); in dlil_create_input_thread() 230 VERIFY(current_thread() == inp->dlth_thread); in dlil_terminate_input_thread() 231 VERIFY(inp != dlil_main_input_thread); in dlil_terminate_input_thread() 249 VERIFY((inp->dlth_flags & DLIL_INPUT_TERMINATE) != 0); in dlil_terminate_input_thread() 379 VERIFY(inp->dlth_poller_thread == THREAD_NULL); in dlil_input_async() 382 VERIFY(inp->dlth_driver_thread == THREAD_NULL); in dlil_input_async() [all …]
|
| 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 …]
|
| 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() 273 VERIFY(0); in flowadv_thread_func()
|
| H A D | if_utun.c | 363 VERIFY(pcb->utun_netif_rxring == NULL); in utun_netif_ring_init() 366 VERIFY(pcb->utun_netif_txring == NULL); in utun_netif_ring_init() 454 VERIFY(tx_buf != NULL); in utun_netif_sync_tx() 464 VERIFY(tx_baddr != 0); in utun_netif_sync_tx() 467 VERIFY(tx_offset >= UTUN_HEADER_SIZE(pcb)); in utun_netif_sync_tx() 643 VERIFY(rx_pp != NULL); in utun_netif_sync_rx() 708 VERIFY(rx_buf != NULL); in utun_netif_sync_rx() 712 VERIFY(rx_baddr != NULL); in utun_netif_sync_rx() 720 VERIFY(error == 0); in utun_netif_sync_rx() 722 VERIFY(error == 0); in utun_netif_sync_rx() [all …]
|
| /xnu-11417.101.15/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 | 151 VERIFY(IFCQ_IS_EMPTY(ifq)); in ifclassq_setup() 158 VERIFY(!IFCQ_TBR_IS_ENABLED(ifq)); in ifclassq_setup() 159 VERIFY(ifq->ifcq_type == PKTSCHEDT_NONE); in ifclassq_setup() 160 VERIFY(ifq->ifcq_flags == 0); in ifclassq_setup() 161 VERIFY(ifq->ifcq_sflags == 0); in ifclassq_setup() 162 VERIFY(ifq->ifcq_disc == NULL); in ifclassq_setup() 208 VERIFY(IFCQ_IS_EMPTY(ifq)); in ifclassq_teardown() 209 VERIFY(!IFCQ_TBR_IS_ENABLED(ifq)); in ifclassq_teardown() 210 VERIFY(ifq->ifcq_type == PKTSCHEDT_NONE); in ifclassq_teardown() 211 VERIFY(ifq->ifcq_flags == 0); in ifclassq_teardown() [all …]
|
| /xnu-11417.101.15/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-11417.101.15/bsd/skywalk/namespace/ |
| H A D | flowidns.c | 147 VERIFY(__flowidns_inited == 1); in flowidns_allocate_flowid() 148 VERIFY(pflowid != NULL); in flowidns_allocate_flowid() 149 VERIFY(pflow_key != NULL); in flowidns_allocate_flowid() 150 VERIFY(domain >= FLOWIDNS_DOMAIN_MIN && in flowidns_allocate_flowid() 181 VERIFY(retry_cnt <= FLOWIDNS_MAX_FLOWID_GEN_RETRY); in flowidns_allocate_flowid() 186 VERIFY(flowidns_domain_array[domain].fd_nallocs != 0); in flowidns_allocate_flowid() 199 VERIFY(__flowidns_inited == 1); in flowidns_release_flowid() 200 VERIFY(flowid != 0); in flowidns_release_flowid() 203 VERIFY(domain >= FLOWIDNS_DOMAIN_MIN && in flowidns_release_flowid() 220 VERIFY(flowidns_domain_array[domain].fd_nreleases != 0); in flowidns_release_flowid() [all …]
|
| /xnu-11417.101.15/bsd/netinet6/ |
| H A D | nd6_prproxy.c | 247 VERIFY(up->ndprl_up == NULL); in nd6_prproxy_prelist_setroute() 252 VERIFY(!prproxy || ((pr->ndpr_stateflags & NDPRF_ONLINK) && in nd6_prproxy_prelist_setroute() 256 VERIFY(pr->ndpr_prproxy_sols_cnt == 0); in nd6_prproxy_prelist_setroute() 257 VERIFY(RB_EMPTY(&pr->ndpr_prproxy_sols)); in nd6_prproxy_prelist_setroute() 306 VERIFY(pr_up != NULL); in nd6_prproxy_prelist_setroute() 311 VERIFY(!prproxy || ((pr_up->ndpr_stateflags & NDPRF_ONLINK) && in nd6_prproxy_prelist_setroute() 481 VERIFY(SLIST_EMPTY(&up_head)); in nd6_if_prproxy() 482 VERIFY(SLIST_EMPTY(&down_head)); in nd6_if_prproxy() 507 VERIFY(ro6 == NULL); in nd6_prproxy_isours() 530 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-11417.101.15/bsd/net/pktsched/ |
| H A D | pktsched.c | 124 VERIFY(machclk_freq != 0); in pktsched_setup() 141 VERIFY(ifq->ifcq_type == PKTSCHEDT_NONE); in pktsched_setup() 142 VERIFY(ifq->ifcq_disc == NULL); in pktsched_setup() 158 VERIFY(IFCQ_IS_EMPTY(ifq)); in pktsched_teardown() 203 VERIFY(0); in pktsched_pkt_encap() 228 VERIFY(0); in pktsched_pkt_encap_chain() 273 VERIFY(kern_packet_finalize(ph2) == 0); in pktsched_clone_pkt() 279 VERIFY(0); in pktsched_clone_pkt() 323 VERIFY(0); in pktsched_corrupt_packet() 345 VERIFY(m->m_nextpkt == NULL); in pktsched_free_pkt() [all …]
|
| /xnu-11417.101.15/bsd/kern/ |
| H A D | uipc_mbuf.c | 1665 VERIFY(rfa->minref == rfa->refcnt); in mz_ref_free() 1777 VERIFY(m->m_flags == M_EXT); in mz_composite_build() 1778 VERIFY(m_get_rfa(m) != NULL && MBUF_IS_COMPOSITE(m)); in mz_composite_build() 1812 VERIFY(MBUF_IS_COMPOSITE(m)); in mz_composite_mark_valid() 1822 VERIFY(MBUF_IS_COMPOSITE(m)); in mz_composite_mark_invalid() 1823 VERIFY(MEXT_REF(m) == MEXT_MINREF(m)); in mz_composite_mark_invalid() 1852 VERIFY(MBUF_IS_COMPOSITE(m)); in mz_composite_destroy() 1920 VERIFY(new != 0); in m_incref() 1934 VERIFY(MEXT_REF(m) != 0); in m_decref() 1945 VERIFY(NELEM(mbuf_table) <= MB_STAT_MAX_MB_CLASSES); in mbuf_table_init() [all …]
|
| H A D | uipc_domain.c | 138 VERIFY(pp->pr_flags & PR_OLD); in pr_init_old() 139 VERIFY(pp->pr_old != NULL); in pr_init_old() 149 VERIFY(pp->pr_flags & PR_ATTACHED); in init_proto() 164 VERIFY(!(pp->pr_flags & PR_ATTACHED)); in attach_proto() 165 VERIFY(pp->pr_domain == NULL); in attach_proto() 166 VERIFY(pp->pr_protosw == NULL); in attach_proto() 181 VERIFY(pp->pr_flags & PR_ATTACHED); in detach_proto() 182 VERIFY(pp->pr_domain == dp); in detach_proto() 183 VERIFY(pp->pr_protosw == pp); in detach_proto() 194 VERIFY(dp->dom_flags & DOM_OLD); in dom_init_old() [all …]
|
| /xnu-11417.101.15/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()
|