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

/xen/xen/common/sched/
A D	rt.c	176 static void repl_timer_handler(void *data); 744 init_timer(&prv->repl_timer, repl_timer_handler, (void *)new_ops, cpu); in rt_switch_sched() 1455 static void repl_timer_handler(void *data){ in repl_timer_handler() function

Completed in 4 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023