Home
last modified time | relevance | path

Searched refs:assert3u (Results 1 – 25 of 95) sorted by relevance

1234

/xnu-12377.41.6/osfmk/kern/
H A Dexclaves_resource.c242 assert3u(table->t_buckets_count & (table->t_buckets_count - 1), ==, 0); in table_init()
256 assert3u(nbuckets, >, 0); in table_alloc()
257 assert3u(nbuckets & (nbuckets - 1), ==, 0); in table_alloc()
382 assert3u(strlen(scope), >, 0); in exclaves_resource_domain_alloc()
383 assert3u(strlen(scope), <=, EXCLAVES_RESOURCE_NAME_MAX); in exclaves_resource_domain_alloc()
543 assert3u(resource->r_id, <, CONCLAVE_SERVICE_MAX); in populate_conclave_services()
667 assert3u(type, ==, XNUPROXY_RESOURCETYPE_NOTIFICATION); in exclaves_resource_init()
708 assert3u(strlen(domain_name), >, 0); in exclaves_resource_lookup_by_name()
709 assert3u(strlen(name), >, 0); in exclaves_resource_lookup_by_name()
744 assert3u(strlen(domain_name), >, 0); in exclaves_resource_lookup_by_id()
[all …]
H A Dcpc.c48 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 Dexclaves_aoe.c192 assert3u(ret, ==, kIOReturnSuccess); in exclaves_aoe_service_try_take_assertion()
203 assert3u(ret, ==, kIOReturnSuccess); in exclaves_aoe_service_drop_assertion()
348 assert3u(id, !=, EXCLAVESMESSAGEQUEUETYPES_SERVICEIDENTIFIER_INVALID); in exclaves_aoe_work_loop()
354 assert3u(ret, ==, TB_ERROR_SUCCESS); in exclaves_aoe_work_loop()
363 assert3u(current_thread()->sched_flags & TH_SFLAG_ABORT, !=, 0); in exclaves_aoe_work_loop()
484 assert3u(ret, ==, TB_ERROR_SUCCESS); in exclaves_aoe_message_loop()
491 assert3u(current_thread()->sched_flags & TH_SFLAG_ABORT, !=, 0); in exclaves_aoe_message_loop()
509 assert3u(id, !=, EXCLAVESMESSAGEQUEUETYPES_SERVICEIDENTIFIER_INVALID);
H A Dexclaves_sensor.c90 assert3u(type, >, 0); in sensor_type_to_eic_sensortype()
91 assert3u(type, <=, EXCLAVES_SENSOR_MAX); in sensor_type_to_eic_sensortype()
116 assert3u(status, >, 0); in eic_sensorstatus_to_sensor_status()
117 assert3u(status, <=, EXCLAVEINDICATORCONTROLLER_SENSORSTATUSRESPONSE_SENSOR_PENDING); in eic_sensorstatus_to_sensor_status()
186 assert3u(flags, ==, 0); in exclaves_eic_sensor_start()
203 assert3u(flags, ==, 0); in exclaves_eic_sensor_status()
218 assert3u(size1, >, 0); in exclaves_eic_sensor_copy()
238 assert3u(ret, ==, TB_ERROR_SUCCESS); in exclaves_sensor_tick()
H A Dexclaves_shared_memory.c100 assert3u(startpage, <, endpage); in exclaves_shared_memory_setup()
140 assert3u(*mapping, !=, 0); in exclaves_shared_memory_setup()
197 assert3u(startpage, <, endpage); in exclaves_shared_memory_map()
238 assert3u(startpage, <, endpage); in exclaves_shared_memory_unmap()
278 assert3u(startpage, <, endpage);
H A Dmpsc_ring.c129 assert3u(buf->mr_capacity, ==, 0); in mpsc_ring_init()
134 assert3u(capacity_pow_2, <, 30); in mpsc_ring_init()
135 assert3u(capacity_pow_2, >, 0); in mpsc_ring_init()
140 assert3u(writers_max, >, 0); in mpsc_ring_init()
H A Depoch_sync.c54 assert3u(id >> 56, ==, 0); /* IDs must have the top byte clear */ \
145 assert3u((ht->ht_size & (ht->ht_size - 1)), ==, 0); in ht_get_bucket()
236 assert3u(id, !=, ES_INVALID_ID); in esync_alloc()
260 assert3u(os_ref_get_count(&sync->es_refcnt), ==, 0); in esync_free()
308 assert3u(cnt, >=, 2); in esync_put()
345 assert3u(sync->es_policy, ==, policy); in esync_get()
421 assert3u(id, !=, ES_INVALID_ID); in esync_wait()
499 assert3u(id, !=, ES_INVALID_ID); in esync_wake()
689 assert3u(OWNER(old), ==, ctid); in test_unlock()
734 assert3u(ret, ==, KERN_SUCCESS); in esync_test()
H A Dexclaves_tests.c75 assert3u(tb_result, ==, TB_ERROR_SUCCESS); in exclaves_hello_exclave_test()
78 assert3u(tb_result, ==, TB_ERROR_SUCCESS); in exclaves_hello_exclave_test()
79 assert3u((uint16_t)(result), ==, 0x1338); in exclaves_hello_exclave_test()
108 assert3u(tb_result, ==, TB_ERROR_SUCCESS); in exclaves_panic_exclave_test()
H A Dexclaves_xnuproxy.c72 assert3u(save_ctx->scid, !=, exclaves_bootstrap_ctx.scid); in exclaves_bootstrap_context_acquire()
92 assert3u(restore_ctx->scid, !=, exclaves_bootstrap_ctx.scid); in exclaves_bootstrap_context_release()
131 assert3u(orig_ipcb_cnt, >=, 1); in exclaves_ipc_buffer_count_dec()
204 assert3u(ctx->scid, !=, exclaves_bootstrap_ctx.scid); in exclaves_ipc_buffer_cache_free()
273 assert3u(kr, ==, KERN_SUCCESS); in exclaves_ipc_buffer_cache_init()
488 assert3u(thread->th_exclaves_state & TH_EXCLAVES_STATE_ANY, ==, 0); in exclaves_xnuproxy_endpoint_call()
576 assert3u(bootinfo_pa, !=, 0); in exclaves_xnuproxy_init()
H A Drestartable.c394 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 Dexclaves_boot.c97 assert3u(count, >, 0); in exclaves_boot_tasks()
102 assert3u(size % sizeof(exclaves_boot_task_entry_t), ==, 0); in exclaves_boot_tasks()
176 assert3u(status, >, os_atomic_load(&exclaves_boot_status, relaxed)); in exclaves_boot_status_set()
193 assert3u(status, !=, EXCLAVES_BS_NOT_DEFINED); in exclaves_boot_status_is_supported()
H A Dexclaves.c1020 assert3u(thread->th_exclaves_state & TH_EXCLAVES_STATE_ANY, ==, 0); in exclaves_boot_early()
1206 assert3u(thread->th_exclaves_state & mask, !=, 0); in exclaves_enter()
1207 assert3u(thread->th_exclaves_intstate & TH_EXCLAVES_EXECUTION, ==, 0); in exclaves_enter()
1560 assert3u(request->tag, >, XrtHosted_Request_Invalid); in exclaves_scheduler_request()
1561 assert3u(request->tag, <, XrtHosted_Request_Limit); in exclaves_scheduler_request()
1671 assert3u(responding_scid, ==, scid); in handle_response_yield()
1672 assert3u(yield->threadHostId, ==, ctid); in handle_response_yield()
1707 assert3u(responding_scid, ==, scid); in handle_response_spawned()
1708 assert3u(spawned->threadHostId, ==, ctid); in handle_response_spawned()
1723 assert3u(terminated->threadHostId, ==, ctid); in handle_response_terminated()
[all …]
H A Dexclaves_panic.c91 assert3u(current_thread()->th_exclaves_ipc_ctx.scid, ==, 0); in exclaves_xnuproxy_panic_thread()
123 assert3u(panic_scid, !=, 0); in exclaves_xnuproxy_panic_thread()
128 assert3u(thread->th_exclaves_state & TH_EXCLAVES_STATE_ANY, ==, 0); in exclaves_xnuproxy_panic_thread()
133 assert3u(kr, ==, KERN_SUCCESS); in exclaves_xnuproxy_panic_thread()
H A Dexclaves_debug.h136 assert3u(requirement & (requirement - 1), ==, 0); in exclaves_requirement_is_relaxed()
144 assert3u(requirement & (requirement - 1), ==, 0); in exclaves_requirement_relax()
H A Dsched_common.c71 assert3u(other_pset_id, <, num_psets); in sched_pset_search_order_init()
99 assert3u(pset_id, !=, starting_pset->pset_id); in sched_iterate_psets_ordered()
H A Dexclaves_upcalls.c586 assert3u(upcall_id, <, NUM_XNUPROXY_UPCALLS); in exclaves_register_upcall_handler()
612 assert3u(kr, ==, KERN_SUCCESS); in exclaves_upcall_init()
654 assert3u(exclaves_upcall_range_start, !=, 0); in initialize_exclaves_upcall_range()
656 assert3u(exclaves_upcall_range_end, !=, 0); in initialize_exclaves_upcall_range()
675 assert3u(thread->th_exclaves_state & TH_EXCLAVES_UPCALL, !=, 0); in exclaves_call_upcall_handler()
768 assert3u(tb_result, ==, TB_ERROR_SUCCESS); in exclaves_hello_upcall_test()
771 assert3u(tb_result, ==, TB_ERROR_SUCCESS); in exclaves_hello_upcall_test()
772 assert3u(result.result, ==, 1); in exclaves_hello_upcall_test()
773 assert3u(result.reply, ==, ((request >> 32) | (request << 32))); in exclaves_hello_upcall_test()
H A Dexclaves_memory.c263 assert3u(sptm_get_frame_type(ptoa(VM_PAGE_GET_PHYS_PAGE(m))), in exclaves_memory_free()
320 assert3u(npages, >, 0); in exclaves_memory_map()
409 assert3u(npages, <=, ARRAY_COUNT(pagelist.pages));
428 assert3u(npages, <=, ARRAY_COUNT(pagelist.pages));
497 assert3u(npages, <=, EXCLAVES_MEMORY_MAX_REQUEST);
520 assert3u(npages, <=, EXCLAVES_MEMORY_MAX_REQUEST);
H A Dassert.h219 #define assert3u(a, op, b) ({ \ macro
262 #define assert3u(a, op, b) ((void)0) macro
H A Dtest_lock.c201 assert3u(smr_hash_serialized_count(h), ==, nelems / 2); in smr_hash_basic_test()
230 assert3u(smr_hash_serialized_count(h), ==, 0); in smr_hash_basic_test()
300 assert3u(counter_load(&h->smrsh_count), ==, max_inserted); in smr_shash_basic_test()
556 assert3u(ctx.calls_done, ==, ctx.calls_sent); in smr_sleepable_stress_test()
H A Dwork_interval.c711 assert3u(work_interval->wi_class, !=, WI_CLASS_NONE); in work_interval_get_priority()
712 assert3u(work_interval->wi_class, <, WI_CLASS_COUNT); in work_interval_get_priority()
717 assert3u(priority, <=, MAXPRI); in work_interval_get_priority()
731 assert3u(work_interval->wi_class, <, WI_CLASS_COUNT); in kern_work_interval_get_policy()
739 assert3u(*priority, <=, MAXPRI); in kern_work_interval_get_policy()
784 assert3u(work_interval->wi_class, <, WI_CLASS_COUNT); in work_interval_set_policy()
/xnu-12377.41.6/osfmk/prng/
H A Dentropy.c228 assert3u(sample_count, <=, ENTROPY_MAX_SAMPLE_COUNT); in entropy_collect()
279 assert3u(filter_count, >=, BITMAP_LEN(sample_count)); in entropy_filter()
445 assert3u(filter_count, >=, BITMAP_LEN(sample_count)); in entropy_health_test()
500 assert3u(cpu_sample_count, <=, ENTROPY_MAX_SAMPLE_COUNT); in entropy_provide()
506 assert3u(filtered_sample_count, <=, cpu_sample_count); in entropy_provide()
587 assert3u(sizeof(label) + *entropy_size, ==, SHA512_BLOCK_LENGTH); in entropy_provide()
H A Dprng_random.c211 assert3u(SEED_SIZE, ==, di->block_size); in bootseed_init()
266 assert3u(erandom.drbg_info.size, <=, sizeof(erandom.drbg_state)); in early_random_init()
272 assert3u(sizeof(earlyseed), >, sizeof(nonce)); in early_random_init()
/xnu-12377.41.6/bsd/netinet/
H A Dip_encap.c548 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 Dkpi_ipfilter.c658 assert3u(id, ==, KERNEL_MODULE_TAG_ID); in m_tag_kalloc_ipfilt()
659 assert3u(type, ==, KERNEL_TAG_TYPE_IPFILT); in m_tag_kalloc_ipfilt()
660 assert3u(len, ==, sizeof(ipfilter_t)); in m_tag_kalloc_ipfilt()
683 assert3u(tag->m_tag_len, ==, sizeof(ipfilter_t)); in m_tag_kfree_ipfilt()
696 assert3u(error, ==, 0); in ipfilter_register_m_tag()
/xnu-12377.41.6/osfmk/i386/
H A Dx86_hypercall.c42 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()

1234