+static inline void vx_activate_task(struct task_struct *p)
+{
+ struct vx_info *vxi;
+
+ // if ((vxi = task_get_vx_info(p))) {
+ if ((vxi = p->vx_info)) {
+ vx_update_load(vxi);
+ atomic_inc(&vxi->cvirt.nr_running);
+ // put_vx_info(vxi);
+ }
+}
+
+static inline void vx_deactivate_task(struct task_struct *p)
+{
+ struct vx_info *vxi;
+
+ // if ((vxi = task_get_vx_info(p))) {
+ if ((vxi = p->vx_info)) {
+ vx_update_load(vxi);
+ atomic_dec(&vxi->cvirt.nr_running);
+ // put_vx_info(vxi);
+ }
+}
+
+