Searched refs:sched_get_current (Results 1 – 5 of 5) sorted by relevance
41 event->waiting_thread = sched_get_current(get_pcpu_id()); in wait_event()
143 struct thread_object *sched_get_current(uint16_t pcpu_id) in sched_get_current() function
63 current = sched_get_current(pcpu_id); in do_logmsg()
134 struct thread_object *sched_get_current(uint16_t pcpu_id);
274 struct thread_object *curr = sched_get_current(pcpu_id); in get_running_vcpu()
Completed in 6 milliseconds