6#ifdef XTC_ENABLE_SCHED_POLICY
7struct xtc_sched_state {
12 uint64_t bypasses[17], runs[17];
13 uint32_t batch_ready[16], batch_active[16];
14 unsigned char batch_attached[16];
19int __xtc_sched_batch_attach(xtc_loop_t *,
int);
20void __xtc_sched_batch_detach(xtc_loop_t *,
int);
21void __xtc_sched_batch_hint(xtc_loop_t *,
int, uint32_t, uint32_t);
22void __xtc_sched_freeze(xtc_loop_t *);
23int __xtc_sched_select(xtc_loop_t *);
24void __xtc_sched_service(xtc_loop_t *,
int);
25void __xtc_sched_ran(xtc_loop_t *,
int,
int);