1.1 --- a/xen/common/sched_bvt.c	Thu May 20 19:21:13 2004 +0000
     1.2 +++ b/xen/common/sched_bvt.c	Fri May 21 10:57:40 2004 +0000
     1.3 @@ -205,6 +205,11 @@ int bvt_adjdom(struct task_struct *p,
     1.4          
     1.5          struct bvt_dom_info *inf = BVT_INFO(p);
     1.6          
     1.7 +
     1.8 +		printk("Get domain %lld bvt mcu_adv=%ld, warp=%ld, warpl=%ld, warpu=%ld\n",
     1.9 +			   p->domain, inf->mcu_advance, inf->warp,
    1.10 +			   inf->warpl, inf->warpu );
    1.11 +
    1.12          /* Sanity -- this can avoid divide-by-zero. */
    1.13          if ( mcu_adv == 0 )
    1.14              return -EINVAL;
    1.15 @@ -214,6 +219,11 @@ int bvt_adjdom(struct task_struct *p,
    1.16          inf->warp = warp;
    1.17          inf->warpl = warpl;
    1.18          inf->warpu = warpu;
    1.19 +
    1.20 +		printk("Set domain %lld bvt mcu_adv=%ld, warp=%ld, warpl=%ld, warpu=%ld\n",
    1.21 +			   p->domain, inf->mcu_advance, inf->warp,
    1.22 +			   inf->warpl, inf->warpu );
    1.23 +
    1.24          spin_unlock_irqrestore(&schedule_lock[p->processor], flags);
    1.25      }
    1.26      else if ( cmd->direction == SCHED_INFO_GET )