struct _vx_ticks cpu[NR_CPUS];
};
+
+#ifdef CONFIG_VSERVER_DEBUG
+
+static inline void __dump_vx_sched(struct _vx_sched *sched)
+{
+ printk("\t_vx_sched:\n");
+ printk("\t tokens: %4d, %4d, %4d, %4d, %4d\n",
+ atomic_read(&sched->tokens),
+ sched->fill_rate, sched->interval,
+ sched->tokens_min, sched->tokens_max);
+ printk("\t priority = %4d, %4d\n",
+ sched->priority_bias, sched->vavavoom);
+}
+
+#endif
+
#endif /* _VX_SCHED_DEF_H */