Home
last modified time | relevance | path

Searched refs:make_reschedule_request (Results 1 – 4 of 4) sorted by relevance

/hypervisor/common/
A Dschedule.c152 void make_reschedule_request(uint16_t pcpu_id) in make_reschedule_request() function
222 make_reschedule_request(pcpu_id); in sleep_thread()
252 make_reschedule_request(pcpu_id); in wake_thread()
261 make_reschedule_request(get_pcpu_id()); in yield_current()
A Dsched_bvt.c167 make_reschedule_request(pcpu_id); in sched_tick_handler()
170 make_reschedule_request(pcpu_id); in sched_tick_handler()
A Dsched_iorr.c97 make_reschedule_request(pcpu_id); in sched_tick_handler()
/hypervisor/include/common/
A Dschedule.h146 void make_reschedule_request(uint16_t pcpu_id);

Completed in 6 milliseconds