HelenOS sources
atomic_get_unordered 312 kernel/generic/src/proc/scheduler.c assert(atomic_get_unordered(&THREAD->cpu) == CPU);
atomic_get_unordered 341 kernel/generic/src/proc/scheduler.c if (atomic_get_unordered(&THREAD->btrace)) {
atomic_get_unordered 386 kernel/generic/src/proc/scheduler.c assert(atomic_get_unordered(&thread->state) == Running);
atomic_get_unordered 387 kernel/generic/src/proc/scheduler.c assert(atomic_get_unordered(&thread->cpu) == CPU);
atomic_get_unordered 389 kernel/generic/src/proc/scheduler.c int prio = atomic_get_unordered(&thread->priority);
atomic_get_unordered 405 kernel/generic/src/proc/scheduler.c assert(atomic_get_unordered(&thread->state) == Sleeping || atomic_get_unordered(&thread->state) == Entering);
atomic_get_unordered 411 kernel/generic/src/proc/scheduler.c cpu_t *cpu = atomic_get_unordered(&thread->cpu);
atomic_get_unordered 430 kernel/generic/src/proc/scheduler.c switch (atomic_get_unordered(&thread->state)) {
atomic_get_unordered 465 kernel/generic/src/proc/scheduler.c thread->tid, thread_states[atomic_get_unordered(&thread->state)]);
atomic_get_unordered 792 kernel/generic/src/proc/scheduler.c thread_states[atomic_get_unordered(&thread->state)]);
atomic_get_unordered 210 kernel/generic/src/proc/thread.c assert(atomic_get_unordered(&thread->state) == Entering);
atomic_get_unordered 340 kernel/generic/src/proc/thread.c assert((atomic_get_unordered(&thread->state) == Exiting) || (atomic_get_unordered(&thread->state) == Lingering));
atomic_get_unordered 344 kernel/generic/src/proc/thread.c cpu_t *cpu = atomic_get_unordered(&thread->cpu);
atomic_get_unordered 353 kernel/generic/src/proc/thread.c if (atomic_get_unordered(&cpu->fpu_owner) == thread)
atomic_get_unordered 688 kernel/generic/src/proc/thread.c state_t state = atomic_get_unordered(&thread->state);
atomic_get_unordered 706 kernel/generic/src/proc/thread.c cpu_t *cpu = atomic_get_unordered(&thread->cpu);
atomic_get_unordered 304 kernel/generic/src/sysinfo/stats.c stats_thread->state = atomic_get_unordered(&thread->state);
atomic_get_unordered 305 kernel/generic/src/sysinfo/stats.c stats_thread->priority = atomic_get_unordered(&thread->priority);
atomic_get_unordered 309 kernel/generic/src/sysinfo/stats.c cpu_t *cpu = atomic_get_unordered(&thread->cpu);
HelenOS homepage, sources at GitHub