bitkeeper revision 1.919 (40ade0a4dgfKSb2uB7n-qil12Kdw_A)
authoriap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk>
Fri, 21 May 2004 10:57:40 +0000 (10:57 +0000)
committeriap10@labyrinth.cl.cam.ac.uk <iap10@labyrinth.cl.cam.ac.uk>
Fri, 21 May 2004 10:57:40 +0000 (10:57 +0000)
temp debug

xen/common/sched_bvt.c

index cfd1bc96565f56939df17ee0100c27574d93ee02..a4b76b42f5d20c37f098d3d9be3daceb26a04b9d 100644 (file)
@@ -205,6 +205,11 @@ int bvt_adjdom(struct task_struct *p,
         
         struct bvt_dom_info *inf = BVT_INFO(p);
         
+
+               printk("Get domain %lld bvt mcu_adv=%ld, warp=%ld, warpl=%ld, warpu=%ld\n",
+                          p->domain, inf->mcu_advance, inf->warp,
+                          inf->warpl, inf->warpu );
+
         /* Sanity -- this can avoid divide-by-zero. */
         if ( mcu_adv == 0 )
             return -EINVAL;
@@ -214,6 +219,11 @@ int bvt_adjdom(struct task_struct *p,
         inf->warp = warp;
         inf->warpl = warpl;
         inf->warpu = warpu;
+
+               printk("Set domain %lld bvt mcu_adv=%ld, warp=%ld, warpl=%ld, warpu=%ld\n",
+                          p->domain, inf->mcu_advance, inf->warp,
+                          inf->warpl, inf->warpu );
+
         spin_unlock_irqrestore(&schedule_lock[p->processor], flags);
     }
     else if ( cmd->direction == SCHED_INFO_GET )