Lines Matching defs:pcpu_id
20 uint16_t pcpu_id = obj->pcpu_id; in is_idle_thread() local
39 void obtain_schedule_lock(uint16_t pcpu_id, uint64_t *rflag) in obtain_schedule_lock()
45 void release_schedule_lock(uint16_t pcpu_id, uint64_t rflag) in release_schedule_lock()
51 static struct acrn_scheduler *get_scheduler(uint16_t pcpu_id) in get_scheduler()
65 void init_sched(uint16_t pcpu_id) in init_sched()
93 void deinit_sched(uint16_t pcpu_id) in deinit_sched()
143 struct thread_object *sched_get_current(uint16_t pcpu_id) in sched_get_current()
152 void make_reschedule_request(uint16_t pcpu_id) in make_reschedule_request()
162 bool need_reschedule(uint16_t pcpu_id) in need_reschedule()
171 uint16_t pcpu_id = get_pcpu_id(); in schedule() local
213 uint16_t pcpu_id = obj->pcpu_id; in sleep_thread() local
240 uint16_t pcpu_id = obj->pcpu_id; in wake_thread() local