HelenOS sources
THREAD 57 kernel/arch/amd64/src/proc/scheduler.c CPU->arch.tss->rsp0 = (uintptr_t) &THREAD->kstack[STACK_SIZE];
THREAD 60 kernel/arch/amd64/src/proc/scheduler.c kseg->kstack_rsp = THREAD->arch.kstack_rsp;
THREAD 131 kernel/arch/arm32/src/arm32.c stck = &THREAD->kstack[STACK_SIZE];
THREAD 211 kernel/arch/arm64/src/arm64.c :: [kstack] "r" (((uint64_t) (THREAD->kstack)) +
THREAD 60 kernel/arch/ia32/src/proc/scheduler.c uintptr_t kstk = (uintptr_t) &THREAD->kstack[STACK_SIZE];
THREAD 59 kernel/arch/ia64/src/proc/scheduler.c if ((uintptr_t) THREAD->kstack < base ||
THREAD 60 kernel/arch/ia64/src/proc/scheduler.c (uintptr_t) THREAD->kstack > base + (1 << (KERNEL_PAGE_WIDTH))) {
THREAD 67 kernel/arch/ia64/src/proc/scheduler.c dtr_purge((uintptr_t) THREAD->kstack, PAGE_WIDTH + 1);
THREAD 70 kernel/arch/ia64/src/proc/scheduler.c dtlb_kernel_mapping_insert((uintptr_t) THREAD->kstack,
THREAD 71 kernel/arch/ia64/src/proc/scheduler.c KA2PA(THREAD->kstack), true, DTR_KSTACK1);
THREAD 72 kernel/arch/ia64/src/proc/scheduler.c dtlb_kernel_mapping_insert((uintptr_t) THREAD->kstack +
THREAD 73 kernel/arch/ia64/src/proc/scheduler.c PAGE_SIZE, KA2PA(THREAD->kstack) + FRAME_SIZE, true,
THREAD 91 kernel/arch/ia64/src/proc/scheduler.c : "r" (&THREAD->kstack[STACK_SIZE / 2]),
THREAD 92 kernel/arch/ia64/src/proc/scheduler.c "r" (&THREAD->kstack[STACK_SIZE / 2])
THREAD 122 kernel/arch/mips32/src/exception.c assert(THREAD);
THREAD 191 kernel/arch/mips32/src/mips32.c (uintptr_t) &THREAD->kstack[STACK_SIZE];
THREAD 57 kernel/arch/ppc32/src/proc/scheduler.c :: [ksp] "r" (KA2PA(&THREAD->kstack[STACK_SIZE]))
THREAD 69 kernel/arch/sparc64/src/debug/stacktrace.c if (THREAD && (ctx->fp == kstack))
THREAD 53 kernel/arch/sparc64/src/proc/sun4u/scheduler.c if (THREAD->uspace) {
THREAD 67 kernel/arch/sparc64/src/proc/sun4u/scheduler.c sp = (uintptr_t) THREAD->kstack + STACK_SIZE - STACK_BIAS;
THREAD 70 kernel/arch/sparc64/src/proc/sun4u/scheduler.c write_to_ag_g7((uintptr_t) THREAD->arch.uspace_window_buffer);
THREAD 77 kernel/arch/sparc64/src/proc/sun4u/scheduler.c if (THREAD->uspace) {
THREAD 81 kernel/arch/sparc64/src/proc/sun4u/scheduler.c THREAD->arch.uspace_window_buffer =
THREAD 56 kernel/arch/sparc64/src/proc/sun4v/scheduler.c if (THREAD->uspace) {
THREAD 59 kernel/arch/sparc64/src/proc/sun4v/scheduler.c sp = (uintptr_t) THREAD->kstack + STACK_SIZE - STACK_BIAS;
THREAD 62 kernel/arch/sparc64/src/proc/sun4v/scheduler.c (uintptr_t) THREAD->arch.uspace_window_buffer);
THREAD 69 kernel/arch/sparc64/src/proc/sun4v/scheduler.c if (THREAD->uspace) {
THREAD 73 kernel/arch/sparc64/src/proc/sun4v/scheduler.c THREAD->arch.uspace_window_buffer =
THREAD 116 kernel/generic/src/interrupt/interrupt.c if (THREAD)
THREAD 130 kernel/generic/src/interrupt/interrupt.c if (THREAD)
THREAD 131 kernel/generic/src/interrupt/interrupt.c THREAD->udebug.uspace_state = istate;
THREAD 137 kernel/generic/src/interrupt/interrupt.c if (THREAD)
THREAD 138 kernel/generic/src/interrupt/interrupt.c THREAD->udebug.uspace_state = NULL;
THREAD 142 kernel/generic/src/interrupt/interrupt.c if ((THREAD) && (THREAD->interrupted) && (istate_from_uspace(istate)))
THREAD 154 kernel/generic/src/interrupt/interrupt.c if (THREAD)
THREAD 155 kernel/generic/src/interrupt/interrupt.c THREAD->last_cycle = end_cycle;
THREAD 1517 kernel/generic/src/mm/as.c if (!THREAD)
THREAD 1590 kernel/generic/src/mm/as.c if (THREAD && THREAD->in_copy_from_uspace) {
THREAD 1591 kernel/generic/src/mm/as.c THREAD->in_copy_from_uspace = false;
THREAD 1594 kernel/generic/src/mm/as.c } else if (THREAD && THREAD->in_copy_to_uspace) {
THREAD 1595 kernel/generic/src/mm/as.c THREAD->in_copy_to_uspace = false;
THREAD 936 kernel/generic/src/mm/frame.c if (!THREAD)
THREAD 947 kernel/generic/src/mm/frame.c "%zu available.", THREAD->tid, count, avail);
THREAD 972 kernel/generic/src/mm/frame.c THREAD->tid);
THREAD 250 kernel/generic/src/mm/km.c assert(THREAD);
THREAD 282 kernel/generic/src/mm/km.c assert(THREAD);
THREAD 87 kernel/generic/src/proc/scheduler.c if (THREAD->fpu_context_exists) {
THREAD 88 kernel/generic/src/proc/scheduler.c fpu_context_restore(&THREAD->fpu_context);
THREAD 91 kernel/generic/src/proc/scheduler.c THREAD->fpu_context_exists = true;
THREAD 94 kernel/generic/src/proc/scheduler.c atomic_store_explicit(&CPU->fpu_owner, THREAD, memory_order_relaxed);
THREAD 271 kernel/generic/src/proc/scheduler.c fpu_context_save(&THREAD->fpu_context);
THREAD 288 kernel/generic/src/proc/scheduler.c if (THREAD == owner)
THREAD 295 kernel/generic/src/proc/scheduler.c if (THREAD->fpu_context_exists)
THREAD 296 kernel/generic/src/proc/scheduler.c fpu_context_restore(&THREAD->fpu_context);
THREAD 299 kernel/generic/src/proc/scheduler.c THREAD->fpu_context_exists = true;
THREAD 310 kernel/generic/src/proc/scheduler.c switch_task(THREAD->task);
THREAD 312 kernel/generic/src/proc/scheduler.c assert(atomic_get_unordered(&THREAD->cpu) == CPU);
THREAD 314 kernel/generic/src/proc/scheduler.c atomic_set_unordered(&THREAD->state, Running);
THREAD 315 kernel/generic/src/proc/scheduler.c atomic_set_unordered(&THREAD->priority, rq_index); /* Correct rq index */
THREAD 321 kernel/generic/src/proc/scheduler.c THREAD->stolen = false;
THREAD 326 kernel/generic/src/proc/scheduler.c ", nrdy=%zu)", CPU->id, THREAD->tid, rq_index,
THREAD 327 kernel/generic/src/proc/scheduler.c THREAD->ticks, atomic_load(&CPU->nrdy));
THREAD 341 kernel/generic/src/proc/scheduler.c if (atomic_get_unordered(&THREAD->btrace)) {
THREAD 342 kernel/generic/src/proc/scheduler.c istate_t *istate = THREAD->udebug.uspace_state;
THREAD 344 kernel/generic/src/proc/scheduler.c printf("Thread %" PRIu64 " stack trace:\n", THREAD->tid);
THREAD 347 kernel/generic/src/proc/scheduler.c printf("Thread %" PRIu64 " interrupt state not available\n", THREAD->tid);
THREAD 350 kernel/generic/src/proc/scheduler.c atomic_set_unordered(&THREAD->btrace, false);
THREAD 364 kernel/generic/src/proc/scheduler.c THREAD->last_cycle = get_cycle();
THREAD 476 kernel/generic/src/proc/scheduler.c assert(THREAD != NULL);
THREAD 492 kernel/generic/src/proc/scheduler.c atomic_set_unordered(&THREAD->state, new_state);
THREAD 495 kernel/generic/src/proc/scheduler.c atomic_time_increment(&THREAD->kcycles, get_cycle() - THREAD->last_cycle);
THREAD 506 kernel/generic/src/proc/scheduler.c thread_t *old_thread = THREAD;
THREAD 508 kernel/generic/src/proc/scheduler.c THREAD = new_thread;
THREAD 520 kernel/generic/src/proc/scheduler.c context_swap(&THREAD->saved_context, &CPU_LOCAL->scheduler_context);
THREAD 549 kernel/generic/src/proc/scheduler.c assert(THREAD == NULL);
THREAD 556 kernel/generic/src/proc/scheduler.c THREAD = find_best_thread(&rq_index);
THREAD 563 kernel/generic/src/proc/scheduler.c current_copy(CURRENT, (current_t *) THREAD->kstack);
THREAD 566 kernel/generic/src/proc/scheduler.c context_swap(&CPU_LOCAL->scheduler_context, &THREAD->saved_context);
THREAD 570 kernel/generic/src/proc/scheduler.c assert(THREAD != NULL);
THREAD 574 kernel/generic/src/proc/scheduler.c cleanup_after_thread(THREAD);
THREAD 580 kernel/generic/src/proc/scheduler.c THREAD = NULL;
THREAD 595 kernel/generic/src/proc/scheduler.c void (*f)(void *) = THREAD->thread_code;
THREAD 596 kernel/generic/src/proc/scheduler.c void *arg = THREAD->thread_arg;
THREAD 521 kernel/generic/src/proc/task.c if (thread == THREAD) {
THREAD 592 kernel/generic/src/proc/task.c UPPER32(TASK->taskid), (sysarg_t) THREAD) == EOK) {
THREAD 182 kernel/generic/src/proc/thread.c THREAD = NULL;
THREAD 425 kernel/generic/src/proc/thread.c if (THREAD->uspace) {
THREAD 482 kernel/generic/src/proc/thread.c assert(THREAD != NULL);
THREAD 494 kernel/generic/src/proc/thread.c (void) atomic_exchange_explicit(&THREAD->sleep_state, SLEEP_INITIAL,
THREAD 497 kernel/generic/src/proc/thread.c return THREAD->interrupted ? THREAD_TERMINATING : THREAD_OK;
THREAD 536 kernel/generic/src/proc/thread.c assert(THREAD != NULL);
THREAD 541 kernel/generic/src/proc/thread.c if (atomic_load_explicit(&THREAD->sleep_state, memory_order_acquire) !=
THREAD 548 kernel/generic/src/proc/thread.c thread_wait_timeout_callback, THREAD);
THREAD 582 kernel/generic/src/proc/thread.c assert(THREAD);
THREAD 583 kernel/generic/src/proc/thread.c THREAD->nomigrate++;
THREAD 593 kernel/generic/src/proc/thread.c assert(THREAD);
THREAD 594 kernel/generic/src/proc/thread.c assert(THREAD->nomigrate > 0);
THREAD 596 kernel/generic/src/proc/thread.c if (THREAD->nomigrate > 0)
THREAD 597 kernel/generic/src/proc/thread.c THREAD->nomigrate--;
THREAD 642 kernel/generic/src/proc/thread.c if (thread == THREAD)
THREAD 677 kernel/generic/src/proc/thread.c assert(THREAD != NULL);
THREAD 796 kernel/generic/src/proc/thread.c atomic_time_increment(&THREAD->ucycles, time - THREAD->last_cycle);
THREAD 798 kernel/generic/src/proc/thread.c atomic_time_increment(&THREAD->kcycles, time - THREAD->last_cycle);
THREAD 800 kernel/generic/src/proc/thread.c THREAD->last_cycle = time;
THREAD 1026 kernel/generic/src/proc/thread.c return (sys_errno_t) copy_to_uspace(uspace_thread_id, &THREAD->tid,
THREAD 1027 kernel/generic/src/proc/thread.c sizeof(THREAD->tid));
THREAD 78 kernel/generic/src/synch/mutex.c assert((mtx->type == MUTEX_ACTIVE) || !THREAD);
THREAD 103 kernel/generic/src/synch/mutex.c if (mtx->type == MUTEX_RECURSIVE && mtx->owner == THREAD) {
THREAD 104 kernel/generic/src/synch/mutex.c assert(THREAD);
THREAD 109 kernel/generic/src/synch/mutex.c if (mtx->type == MUTEX_ACTIVE || !THREAD) {
THREAD 115 kernel/generic/src/synch/mutex.c mtx->owner = THREAD;
THREAD 130 kernel/generic/src/synch/mutex.c assert(THREAD);
THREAD 133 kernel/generic/src/synch/mutex.c if (mtx->type == MUTEX_RECURSIVE && mtx->owner == THREAD) {
THREAD 134 kernel/generic/src/synch/mutex.c assert(THREAD);
THREAD 141 kernel/generic/src/synch/mutex.c mtx->owner = THREAD;
THREAD 163 kernel/generic/src/synch/mutex.c assert(mtx->owner == THREAD);
THREAD 207 kernel/generic/src/synch/waitq.c atomic_store_explicit(&THREAD->sleep_queue, wq, memory_order_relaxed);
THREAD 213 kernel/generic/src/synch/waitq.c list_append(&THREAD->wq_link, &wq->sleepers);
THREAD 243 kernel/generic/src/synch/waitq.c if (!link_in_use(&THREAD->wq_link)) {
THREAD 261 kernel/generic/src/synch/waitq.c if (THREAD)
THREAD 262 kernel/generic/src/synch/waitq.c list_remove(&THREAD->wq_link);
THREAD 267 kernel/generic/src/synch/waitq.c if (THREAD)
THREAD 268 kernel/generic/src/synch/waitq.c atomic_store_explicit(&THREAD->sleep_queue, NULL, memory_order_relaxed);
THREAD 66 kernel/generic/src/syscall/copy.c assert(THREAD);
THREAD 67 kernel/generic/src/syscall/copy.c assert(!THREAD->in_copy_from_uspace);
THREAD 90 kernel/generic/src/syscall/copy.c THREAD->in_copy_from_uspace = true;
THREAD 94 kernel/generic/src/syscall/copy.c THREAD->in_copy_from_uspace = false;
THREAD 117 kernel/generic/src/syscall/copy.c assert(THREAD);
THREAD 118 kernel/generic/src/syscall/copy.c assert(!THREAD->in_copy_to_uspace);
THREAD 141 kernel/generic/src/syscall/copy.c THREAD->in_copy_to_uspace = true;
THREAD 145 kernel/generic/src/syscall/copy.c THREAD->in_copy_to_uspace = false;
THREAD 153 kernel/generic/src/syscall/syscall.c THREAD->udebug.uspace_state = istate_get(THREAD);
THREAD 159 kernel/generic/src/syscall/syscall.c if (THREAD->udebug.active)
THREAD 172 kernel/generic/src/syscall/syscall.c if (THREAD->interrupted)
THREAD 176 kernel/generic/src/syscall/syscall.c if (THREAD->udebug.active) {
THREAD 189 kernel/generic/src/syscall/syscall.c THREAD->udebug.uspace_state = NULL;
THREAD 188 kernel/generic/src/time/clock.c if (THREAD) {
THREAD 196 kernel/generic/src/time/clock.c istate_t *istate = THREAD->udebug.uspace_state;
THREAD 58 kernel/generic/src/time/delay.c if (THREAD)
THREAD 61 kernel/generic/src/time/delay.c if (THREAD)
THREAD 113 kernel/generic/src/udebug/udebug.c assert(THREAD);
THREAD 121 kernel/generic/src/udebug/udebug.c mutex_lock(&THREAD->udebug.lock);
THREAD 122 kernel/generic/src/udebug/udebug.c assert(THREAD->udebug.stoppable == false);
THREAD 123 kernel/generic/src/udebug/udebug.c THREAD->udebug.stoppable = true;
THREAD 145 kernel/generic/src/udebug/udebug.c if (THREAD->udebug.active == true &&
THREAD 146 kernel/generic/src/udebug/udebug.c THREAD->udebug.go == false) {
THREAD 153 kernel/generic/src/udebug/udebug.c call_t *go_call = THREAD->udebug.go_call;
THREAD 154 kernel/generic/src/udebug/udebug.c THREAD->udebug.go_call = NULL;
THREAD 160 kernel/generic/src/udebug/udebug.c THREAD->udebug.cur_event = UDEBUG_EVENT_STOP;
THREAD 165 kernel/generic/src/udebug/udebug.c mutex_unlock(&THREAD->udebug.lock);
THREAD 180 kernel/generic/src/udebug/udebug.c mutex_lock(&THREAD->udebug.lock);
THREAD 182 kernel/generic/src/udebug/udebug.c if ((THREAD->udebug.active) && (THREAD->udebug.go == false)) {
THREAD 183 kernel/generic/src/udebug/udebug.c mutex_unlock(&THREAD->udebug.lock);
THREAD 186 kernel/generic/src/udebug/udebug.c udebug_wait_for_go(&THREAD->udebug.go_wq);
THREAD 192 kernel/generic/src/udebug/udebug.c assert(THREAD->udebug.stoppable == true);
THREAD 193 kernel/generic/src/udebug/udebug.c THREAD->udebug.stoppable = false;
THREAD 195 kernel/generic/src/udebug/udebug.c mutex_unlock(&THREAD->udebug.lock);
THREAD 226 kernel/generic/src/udebug/udebug.c mutex_lock(&THREAD->udebug.lock);
THREAD 229 kernel/generic/src/udebug/udebug.c if (THREAD->udebug.active != true || THREAD->udebug.go == false ||
THREAD 231 kernel/generic/src/udebug/udebug.c mutex_unlock(&THREAD->udebug.lock);
THREAD 237 kernel/generic/src/udebug/udebug.c call_t *call = THREAD->udebug.go_call;
THREAD 238 kernel/generic/src/udebug/udebug.c THREAD->udebug.go_call = NULL;
THREAD 245 kernel/generic/src/udebug/udebug.c THREAD->udebug.syscall_args[0] = a1;
THREAD 246 kernel/generic/src/udebug/udebug.c THREAD->udebug.syscall_args[1] = a2;
THREAD 247 kernel/generic/src/udebug/udebug.c THREAD->udebug.syscall_args[2] = a3;
THREAD 248 kernel/generic/src/udebug/udebug.c THREAD->udebug.syscall_args[3] = a4;
THREAD 249 kernel/generic/src/udebug/udebug.c THREAD->udebug.syscall_args[4] = a5;
THREAD 250 kernel/generic/src/udebug/udebug.c THREAD->udebug.syscall_args[5] = a6;
THREAD 258 kernel/generic/src/udebug/udebug.c THREAD->udebug.go = false;
THREAD 259 kernel/generic/src/udebug/udebug.c THREAD->udebug.cur_event = etype;
THREAD 263 kernel/generic/src/udebug/udebug.c mutex_unlock(&THREAD->udebug.lock);
THREAD 266 kernel/generic/src/udebug/udebug.c udebug_wait_for_go(&THREAD->udebug.go_wq);
THREAD 289 kernel/generic/src/udebug/udebug.c mutex_lock(&THREAD->udebug.lock);
THREAD 296 kernel/generic/src/udebug/udebug.c if (THREAD->udebug.active != true) {
THREAD 298 kernel/generic/src/udebug/udebug.c THREAD->udebug.active ? "Yes(+)" : "No",
THREAD 299 kernel/generic/src/udebug/udebug.c THREAD->udebug.go ? "Yes(-)" : "No");
THREAD 301 kernel/generic/src/udebug/udebug.c mutex_unlock(&THREAD->udebug.lock);
THREAD 308 kernel/generic/src/udebug/udebug.c call_t *call = THREAD->udebug.go_call;
THREAD 310 kernel/generic/src/udebug/udebug.c THREAD->udebug.go_call = NULL;
THREAD 321 kernel/generic/src/udebug/udebug.c THREAD->udebug.go = false;
THREAD 322 kernel/generic/src/udebug/udebug.c THREAD->udebug.cur_event = UDEBUG_EVENT_THREAD_B;
THREAD 326 kernel/generic/src/udebug/udebug.c mutex_unlock(&THREAD->udebug.lock);
THREAD 330 kernel/generic/src/udebug/udebug.c udebug_wait_for_go(&THREAD->udebug.go_wq);
THREAD 342 kernel/generic/src/udebug/udebug.c mutex_lock(&THREAD->udebug.lock);
THREAD 347 kernel/generic/src/udebug/udebug.c if (THREAD->udebug.active != true) {
THREAD 349 kernel/generic/src/udebug/udebug.c THREAD->udebug.active ? "Yes" : "No",
THREAD 350 kernel/generic/src/udebug/udebug.c THREAD->udebug.go ? "Yes" : "No");
THREAD 352 kernel/generic/src/udebug/udebug.c mutex_unlock(&THREAD->udebug.lock);
THREAD 359 kernel/generic/src/udebug/udebug.c call_t *call = THREAD->udebug.go_call;
THREAD 361 kernel/generic/src/udebug/udebug.c THREAD->udebug.go_call = NULL;
THREAD 366 kernel/generic/src/udebug/udebug.c THREAD->udebug.active = false;
THREAD 367 kernel/generic/src/udebug/udebug.c THREAD->udebug.cur_event = 0; /* None */
THREAD 368 kernel/generic/src/udebug/udebug.c THREAD->udebug.go = false; /* Set to initial value */
THREAD 372 kernel/generic/src/udebug/udebug.c mutex_unlock(&THREAD->udebug.lock);
THREAD 471 kernel/generic/src/udebug/udebug.c mutex_lock(&THREAD->udebug.lock);
THREAD 472 kernel/generic/src/udebug/udebug.c while (!THREAD->udebug.active)
THREAD 473 kernel/generic/src/udebug/udebug.c condvar_wait(&THREAD->udebug.active_cv, &THREAD->udebug.lock);
THREAD 474 kernel/generic/src/udebug/udebug.c mutex_unlock(&THREAD->udebug.lock);
THREAD 320 kernel/generic/src/udebug/udebug_ops.c THREAD->udebug.cur_event = UDEBUG_EVENT_STOP;
THREAD 49 kernel/test/mm/falloc2.c uint8_t val = THREAD->tid % THREADS;
THREAD 55 kernel/test/mm/falloc2.c "Unable to allocate frames\n", THREAD->tid, CPU->id);
THREAD 65 kernel/test/mm/falloc2.c "Allocating %zu frames blocks (%zu bytes) ... \n", THREAD->tid,
THREAD 79 kernel/test/mm/falloc2.c "%u blocks allocated.\n", THREAD->tid, CPU->id,
THREAD 82 kernel/test/mm/falloc2.c "Deallocating ... \n", THREAD->tid, CPU->id);
THREAD 89 kernel/test/mm/falloc2.c THREAD->tid, CPU->id, ((char *) PA2KA(frames[i]))[k],
THREAD 99 kernel/test/mm/falloc2.c "Finished run.\n", THREAD->tid, CPU->id);
THREAD 107 kernel/test/mm/falloc2.c THREAD->tid, CPU->id);
THREAD 129 kernel/test/mm/slab1.c TPRINTF("Starting thread #%" PRIu64 "...\n", THREAD->tid);
THREAD 142 kernel/test/mm/slab1.c TPRINTF("Thread #%" PRIu64 " finished\n", THREAD->tid);
THREAD 142 kernel/test/mm/slab2.c TPRINTF("Starting thread #%" PRIu64 "...\n", THREAD->tid);
THREAD 145 kernel/test/mm/slab2.c TPRINTF("Thread #%" PRIu64 " allocating...\n", THREAD->tid);
THREAD 156 kernel/test/mm/slab2.c TPRINTF("Thread #%" PRIu64 " releasing...\n", THREAD->tid);
THREAD 165 kernel/test/mm/slab2.c TPRINTF("Thread #%" PRIu64 " allocating...\n", THREAD->tid);
THREAD 176 kernel/test/mm/slab2.c TPRINTF("Thread #%" PRIu64 " releasing...\n", THREAD->tid);
THREAD 185 kernel/test/mm/slab2.c TPRINTF("Thread #%" PRIu64 " finished\n", THREAD->tid);
THREAD 66 kernel/test/synch/semaphore2.c TPRINTF("cpu%u, tid %" PRIu64 " down+ (%d)\n", CPU->id, THREAD->tid, to);
THREAD 69 kernel/test/synch/semaphore2.c TPRINTF("cpu%u, tid %" PRIu64 " down!\n", CPU->id, THREAD->tid);
THREAD 73 kernel/test/synch/semaphore2.c TPRINTF("cpu%u, tid %" PRIu64 " down=\n", CPU->id, THREAD->tid);
THREAD 77 kernel/test/synch/semaphore2.c TPRINTF("cpu%u, tid %" PRIu64 " up\n", CPU->id, THREAD->tid);
THREAD 44 kernel/test/thread/thread1.c TPRINTF("%" PRIu64 " ", THREAD->tid);
HelenOS homepage, sources at GitHub