| /xnu-10063.141.1/osfmk/kern/ |
| H A D | exclaves_resource.c | 240 assert3u(table->t_buckets_count & (table->t_buckets_count - 1), ==, 0); in table_init() 254 assert3u(nbuckets, >, 0); in table_alloc() 255 assert3u(nbuckets & (nbuckets - 1), ==, 0); in table_alloc() 379 assert3u(strlen(scope), >, 0); in exclaves_resource_domain_alloc() 380 assert3u(strlen(scope), <=, XNUPROXY_RESOURCE_NAME_MAX); in exclaves_resource_domain_alloc() 594 assert3u(resource->r_id, <, CONCLAVE_SERVICE_MAX); in exclaves_resource_init() 612 assert3u(strlen(domain_name), >, 0); in exclaves_resource_lookup_by_name() 613 assert3u(strlen(name), >, 0); in exclaves_resource_lookup_by_name() 627 assert3u(strlen(domain_name), >, 0); in exclaves_resource_lookup_by_id() 657 assert3u(orig, <, UINT32_MAX); in exclaves_resource_retain() [all …]
|
| H A D | cpc.c | 48 assert3u(hw, <, CPC_HW_COUNT); in cpc_hw_acquire() 64 assert3u(hw, <, CPC_HW_COUNT); in cpc_hw_in_use() 76 assert3u(hw, <, CPC_HW_COUNT); in cpc_hw_release()
|
| H A D | exclaves_sensor.c | 58 assert3u(type, >, 0); in sensor_type_to_eic_sensortype() 59 assert3u(type, <=, EXCLAVES_SENSOR_MAX); in sensor_type_to_eic_sensortype() 76 assert3u(status, >, 0); in eic_sensorstatus_to_sensor_status() 77 assert3u(status, <=, EXCLAVEINDICATORCONTROLLER_SENSORSTATUSRESPONSE_SENSOR_CONTROL); in eic_sensorstatus_to_sensor_status() 141 assert3u(flags, ==, 0); in exclaves_eic_sensor_start() 158 assert3u(flags, ==, 0); in exclaves_eic_sensor_status() 173 assert3u(size1, >, 0); in exclaves_eic_sensor_copy()
|
| H A D | epoch_sync.c | 101 assert3u((ht->ht_size & (ht->ht_size - 1)), ==, 0); in ht_get_bucket() 192 assert3u(id, !=, ES_INVALID_ID); in esync_alloc() 216 assert3u(os_ref_get_count(&sync->es_refcnt), ==, 0); in esync_free() 255 assert3u(cnt, ==, 0); in esync_put() 265 assert3u(cnt, >=, 2); in esync_put() 273 assert3u(cnt, ==, 0); in esync_put() 303 assert3u(sync->es_policy, ==, policy); in esync_get() 341 assert3u(id, !=, ES_INVALID_ID); in esync_wait() 401 assert3u(id, !=, ES_INVALID_ID); in esync_wake() 577 assert3u(OWNER(old), ==, ctid); in test_unlock() [all …]
|
| H A D | exclaves_shared_memory.c | 98 assert3u(startpage, <, endpage); in exclaves_shared_memory_setup() 138 assert3u(*mapping, !=, 0); in exclaves_shared_memory_setup() 195 assert3u(startpage, <, endpage); in exclaves_shared_memory_map() 236 assert3u(startpage, <, endpage); in exclaves_shared_memory_unmap() 276 assert3u(startpage, <, endpage);
|
| H A D | exclaves.c | 975 assert3u(exclaves_enter_range_start, !=, 0); in initialize_exclaves_call_range() 977 assert3u(exclaves_enter_range_end, !=, 0); in initialize_exclaves_call_range() 979 assert3u(exclaves_upcall_range_start, !=, 0); in initialize_exclaves_call_range() 981 assert3u(exclaves_upcall_range_end, !=, 0); in initialize_exclaves_call_range() 1029 assert3u(thread->th_exclaves_state & TH_EXCLAVES_STATE_ANY, ==, 0); in exclaves_boot_early() 1246 assert3u(thread->th_exclaves_state & mask, !=, 0); in exclaves_enter() 1247 assert3u(thread->th_exclaves_intstate & TH_EXCLAVES_EXECUTION, ==, 0); in exclaves_enter() 1578 assert3u(request->tag, >, XrtHosted_Request_Invalid); in exclaves_scheduler_request() 1579 assert3u(request->tag, <, XrtHosted_Request_Limit); in exclaves_scheduler_request() 1692 assert3u(responding_scid, ==, scid); in handle_response_yield() [all …]
|
| H A D | restartable.c | 394 assert3u(trrs.trr_fault_state, ==, TRR_FAULT_PENDING); in thread_reset_pcs_ack_IPI() 481 assert3u(state.trr_fault_state, !=, TRR_FAULT_OBSERVED); in thread_rr_wait_if_needed() 482 assert3u(state.trr_ipi_ack_pending, ==, 0); in thread_rr_wait_if_needed() 483 assert3u(state.trr_sync_waiting, ==, 0); in thread_rr_wait_if_needed() 519 assert3u(state.trr_fault_state, ==, TRR_FAULT_NONE); in thread_reset_pcs_ast() 520 assert3u(state.trr_sync_waiting, ==, 0); in thread_reset_pcs_ast()
|
| H A D | exclaves_boot.c | 97 assert3u(count, >, 0); in exclaves_boot_tasks() 102 assert3u(size % sizeof(exclaves_boot_task_entry_t), ==, 0); in exclaves_boot_tasks() 173 assert3u(status, >, os_atomic_load(&exclaves_boot_status, relaxed)); in exclaves_boot_status_set()
|
| H A D | exclaves_log.c | 70 assert3u(sizeof(uint32_t) + sizeof(uuid_t), <, ld_data_size); in interpose_kernel_uuid() 97 assert3u(ld_size, <=, ld_data_size); in os_log_replay_log() 98 assert3u(ld->pubsize, <=, ld_size); in os_log_replay_log()
|
| H A D | assert.h | 110 #define assert3u(a, op, b) \ macro 160 #define assert3u(a, op, b) ((void)0)
|
| H A D | exclaves_upcalls.c | 312 assert3u(upcall_id, <, NUM_XNUPROXY_UPCALLS); in exclaves_register_upcall_handler() 337 assert3u(kr, ==, KERN_SUCCESS); in exclaves_upcall_early_init() 363 assert3u(kkr, ==, KERN_SUCCESS); in exclaves_upcall_init() 378 assert3u(thread->th_exclaves_state & TH_EXCLAVES_UPCALL, !=, 0); in exclaves_call_upcall_handler()
|
| H A D | work_interval.c | 700 assert3u(work_interval->wi_class, !=, WI_CLASS_NONE); in work_interval_get_priority() 701 assert3u(work_interval->wi_class, <, WI_CLASS_COUNT); in work_interval_get_priority() 706 assert3u(priority, <=, MAXPRI); in work_interval_get_priority() 730 assert3u(work_interval->wi_class, <, WI_CLASS_COUNT); in kern_work_interval_get_policy_from_port() 739 assert3u(*priority, <=, MAXPRI); in kern_work_interval_get_policy_from_port() 774 assert3u(work_interval->wi_class, <, WI_CLASS_COUNT); in work_interval_set_policy()
|
| H A D | exclaves_panic.c | 114 assert3u(thread->th_exclaves_state & TH_EXCLAVES_STATE_ANY, ==, 0); in exclaves_xnu_proxy_panic_thread() 121 assert3u(kr, ==, KERN_SUCCESS); in exclaves_xnu_proxy_panic_thread()
|
| H A D | exclaves_memory.c | 208 assert3u(sptm_get_frame_type(ptoa(VM_PAGE_GET_PHYS_PAGE(m))), in exclaves_memory_free() 241 assert3u(npages, <=, ARRAY_COUNT(pagelist.pages));
|
| H A D | test_lock.c | 200 assert3u(h->smrh_count, ==, nelems / 2); in smr_hash_basic_test() 289 assert3u(counter_load(&h->smrsh_count), ==, max_inserted); in smr_shash_basic_test() 545 assert3u(ctx.calls_done, ==, ctx.calls_sent); in smr_sleepable_stress_test()
|
| H A D | task_ref.c | 282 assert3u(grp, <, TASK_GRP_COUNT); in task_reference_grp() 336 assert3u(grp, <, TASK_GRP_COUNT); in task_deallocate_grp()
|
| H A D | recount.c | 233 assert3u((new & 1), ==, 1); in _seqlock_excl_lock_relaxed() 246 assert3u((new & 1), ==, 0); in _seqlock_excl_unlock_relaxed() 519 assert3u(lhs->rsn_time_mach, >=, rhs->rsn_time_mach); in recount_snap_diff() 522 assert3u(lhs->rsn_insns, >=, rhs->rsn_insns); in recount_snap_diff() 523 assert3u(lhs->rsn_cycles, >=, rhs->rsn_cycles); in recount_snap_diff() 1038 assert3u(thread->th_recount.rth_current_level, ==, old); in recount_assert_level()
|
| H A D | exclaves_storage.c | 417 assert3u(error, ==, 0); 426 assert3u(error, ==, 0);
|
| /xnu-10063.141.1/bsd/netinet/ |
| H A D | ip_encap.c | 548 assert3u(id, ==, KERNEL_MODULE_TAG_ID); in m_tag_kalloc_encap() 549 assert3u(type, ==, KERNEL_TAG_TYPE_ENCAP); in m_tag_kalloc_encap() 550 assert3u(len, ==, sizeof(struct encaptabtag)); in m_tag_kalloc_encap() 573 assert3u(tag->m_tag_len, ==, sizeof(struct encaptabtag)); in m_tag_kfree_encap() 586 assert3u(error, ==, 0); in encap_register_m_tag()
|
| H A D | kpi_ipfilter.c | 652 assert3u(id, ==, KERNEL_MODULE_TAG_ID); in m_tag_kalloc_ipfilt() 653 assert3u(type, ==, KERNEL_TAG_TYPE_IPFILT); in m_tag_kalloc_ipfilt() 654 assert3u(len, ==, sizeof(ipfilter_t)); in m_tag_kalloc_ipfilt() 677 assert3u(tag->m_tag_len, ==, sizeof(ipfilter_t)); in m_tag_kfree_ipfilt() 690 assert3u(error, ==, 0); in ipfilter_register_m_tag()
|
| /xnu-10063.141.1/osfmk/i386/ |
| H A D | x86_hypercall.c | 42 assert3u(hcall, <, HVG_HCALL_COUNT); in hvg_is_hcall_available() 66 assert3u(dump_option, ==, HVG_HCALL_DUMP_OPTION_REGULAR); /* Only known option for now. */ in hvg_hcall_trigger_dump()
|
| /xnu-10063.141.1/bsd/net/pktsched/ |
| H A D | pktsched.c | 816 assert3u(id, ==, KERNEL_MODULE_TAG_ID); in m_tag_kalloc_aqm() 817 assert3u(type, ==, KERNEL_TAG_TYPE_AQM); in m_tag_kalloc_aqm() 818 assert3u(len, ==, sizeof(uint64_t)); in m_tag_kalloc_aqm() 841 assert3u(tag->m_tag_len, ==, sizeof(uint64_t)); in m_tag_kfree_aqm() 854 assert3u(error, ==, 0); in pktsched_register_m_tag()
|
| /xnu-10063.141.1/osfmk/vm/ |
| H A D | vm_tests.c | 1121 assert3u(kr, ==, KERN_SUCCESS); in vm_test_kernel_tag_accounting_kma() 1124 assert3u(init_size, ==, vm_tag_get_size(tag)); in vm_test_kernel_tag_accounting_kma() 1126 assert3u(final_size, ==, vm_tag_get_size(tag)); in vm_test_kernel_tag_accounting_kma() 1144 assert3u(kr, ==, KERN_SUCCESS); in vm_test_kernel_tag_accounting_kma() 1148 assert3u(kr, ==, KERN_SUCCESS); in vm_test_kernel_tag_accounting_kma() 1153 assert3u(init_size, ==, vm_tag_get_size(tag)); in vm_test_kernel_tag_accounting_kma() 1155 assert3u(final_size, ==, vm_tag_get_size(tag)); in vm_test_kernel_tag_accounting_kma() 1159 assert3u(init_size, ==, vm_tag_get_size(tag)); in vm_test_kernel_tag_accounting_kma()
|
| H A D | vm_kern.c | 1289 assert3u((bool)(flags & KMA_COMPRESSOR), ==, object == compressor_object); in kernel_memory_populate_object_and_unlock() 1291 assert3u(offset, ==, addr); in kernel_memory_populate_object_and_unlock() 4268 assert3u((map)->size, ==, ptoa(pg)); \ 4269 assert3u((map)->hdr.nentries, ==, entries); \ 4311 assert3u((addr + PAGE_SIZE) % ptoa(2), ==, 0); in kmem_alloc_basic_test() 4318 assert3u(e->vme_start, <=, addr); in kmem_alloc_basic_test() 4319 assert3u(addr + ptoa(10), <=, e->vme_end); in kmem_alloc_basic_test() 4377 assert3u(addr, !=, 0); in kmem_realloc_basic_test() 4392 assert3u(newaddr, !=, 0); in kmem_realloc_basic_test() 4394 assert3u(addr, !=, newaddr); in kmem_realloc_basic_test() [all …]
|
| /xnu-10063.141.1/libkern/os/ |
| H A D | log.c | 169 assert3u(lp->lp_pub_data_size, <=, lp->lp_data_size); in log_payload_priv_data_size() 186 assert3u(pub_data_size, <=, data_size); in log_payload_init() 187 assert3u(data_size, <, UINT16_MAX); in log_payload_init() 560 assert3u(os_log_subsystem_id, ==, sid + 1); in os_log_subsystem_id_revert() 946 assert3u(offsetof(struct firehose_tracepoint_s, ft_data) + in firehose_trace_start()
|