Lines Matching refs:ispl

2962 stackshot_plh_hash(struct ipc_service_port_label *ispl)  in stackshot_plh_hash()  argument
2964 uintptr_t ptr = (uintptr_t)ispl; in stackshot_plh_hash()
2967 …((((x) * STACKSHOT_PLH_SHIFT) < (sizeof(ispl) * CHAR_BIT)) ? ((ptr) >> ((x) * STACKSHOT_PLH_SHIFT)… in stackshot_plh_hash()
3004 stackshot_plh_lookup_locked(struct ipc_service_port_label *ispl, enum stackshot_plh_lookup_type typ… in stackshot_plh_lookup_locked() argument
3009 if (ispl == NULL) { in stackshot_plh_lookup_locked()
3026 int16_t hash = stackshot_plh_hash(ispl); in stackshot_plh_lookup_locked()
3037 if (plh->plh_array[cur] == ispl) { in stackshot_plh_lookup_locked()
3057 plh->plh_array[cur] = ispl; in stackshot_plh_lookup_locked()
3088 struct ipc_service_port_label *ispl = arr[idx]; in kdp_stackshot_plh_record_locked() local
3097 if (_stackshot_validate_kva((vm_offset_t)ispl, ispl_size)) { in kdp_stackshot_plh_record_locked()
3098 kdp_ipc_fill_splabel(ispl, &spl, &name); in kdp_stackshot_plh_record_locked()
3101 if (ispl != NULL && (vm_offset_t)ispl >> 48 == 0x0000) { in kdp_stackshot_plh_record_locked()
3139 stackshot_plh_lookup(struct ipc_service_port_label *ispl, enum stackshot_plh_lookup_type type) in stackshot_plh_lookup() argument
3143 result = stackshot_plh_lookup_locked(ispl, type); in stackshot_plh_lookup()
6036 struct ipc_service_port_label *ispl = NULL; in stackshot_thread_turnstileinfo() local
6041 kdp_turnstile_fill_tsinfo(ts, tsinfo, &ispl); in stackshot_thread_turnstileinfo()
6042 tsinfo->portlabel_id = stackshot_plh_lookup(ispl, in stackshot_thread_turnstileinfo()
6052 struct ipc_service_port_label *ispl = NULL; in stackshot_thread_wait_owner_info() local
6063 kdp_mqueue_recv_find_owner(thread->waitq.wq_q, thread->wait_event, waitinfo, &ispl); in stackshot_thread_wait_owner_info()
6064 waitinfo->portlabel_id = stackshot_plh_lookup(ispl, STACKSHOT_PLH_LOOKUP_RECEIVE); in stackshot_thread_wait_owner_info()
6067 kdp_mqueue_send_find_owner(thread->waitq.wq_q, thread->wait_event, waitinfo, &ispl); in stackshot_thread_wait_owner_info()
6068 waitinfo->portlabel_id = stackshot_plh_lookup(ispl, STACKSHOT_PLH_LOOKUP_SEND); in stackshot_thread_wait_owner_info()