2 static inline void vx_info_init_sched(struct _vx_sched *sched)
6 /* scheduling; hard code starting values as constants */
9 sched->tokens_min = HZ >> 4;
10 sched->tokens_max = HZ >> 1;
11 sched->jiffies = jiffies;
12 sched->tokens_lock = SPIN_LOCK_UNLOCKED;
14 atomic_set(&sched->tokens, HZ >> 2);
15 sched->cpus_allowed = CPU_MASK_ALL;
16 sched->priority_bias = 0;
20 sched->cpu[i].user_ticks = 0;
21 sched->cpu[i].sys_ticks = 0;
22 sched->cpu[i].hold_ticks = 0;
26 static inline void vx_info_exit_sched(struct _vx_sched *sched)