1.1 --- a/xen/arch/ia64/xen/vcpu.c	Sun Sep 18 10:30:57 2005 -0600
     1.2 +++ b/xen/arch/ia64/xen/vcpu.c	Sun Sep 18 12:18:57 2005 -0600
     1.3 @@ -1453,6 +1453,9 @@ IA64FAULT vcpu_set_pmc(VCPU *vcpu, UINT6
     1.4  {
     1.5  	// TODO: Should set Logical CPU state, not just physical
     1.6  	// NOTE: Writes to unimplemented PMC registers are discarded
     1.7 +#ifdef DEBUG_PFMON
     1.8 +printf("vcpu_set_pmc(%x,%lx)\n",reg,val);
     1.9 +#endif
    1.10  	ia64_set_pmc(reg,val);
    1.11  	return (IA64_NO_FAULT);
    1.12  }
    1.13 @@ -1461,6 +1464,9 @@ IA64FAULT vcpu_set_pmd(VCPU *vcpu, UINT6
    1.14  {
    1.15  	// TODO: Should set Logical CPU state, not just physical
    1.16  	// NOTE: Writes to unimplemented PMD registers are discarded
    1.17 +#ifdef DEBUG_PFMON
    1.18 +printf("vcpu_set_pmd(%x,%lx)\n",reg,val);
    1.19 +#endif
    1.20  	ia64_set_pmd(reg,val);
    1.21  	return (IA64_NO_FAULT);
    1.22  }
    1.23 @@ -1469,6 +1475,9 @@ IA64FAULT vcpu_get_pmc(VCPU *vcpu, UINT6
    1.24  {
    1.25  	// NOTE: Reads from unimplemented PMC registers return zero
    1.26  	UINT64 val = (UINT64)ia64_get_pmc(reg);
    1.27 +#ifdef DEBUG_PFMON
    1.28 +printf("%lx=vcpu_get_pmc(%x)\n",val,reg);
    1.29 +#endif
    1.30  	*pval = val;
    1.31  	return (IA64_NO_FAULT);
    1.32  }
    1.33 @@ -1477,6 +1486,9 @@ IA64FAULT vcpu_get_pmd(VCPU *vcpu, UINT6
    1.34  {
    1.35  	// NOTE: Reads from unimplemented PMD registers return zero
    1.36  	UINT64 val = (UINT64)ia64_get_pmd(reg);
    1.37 +#ifdef DEBUG_PFMON
    1.38 +printf("%lx=vcpu_get_pmd(%x)\n",val,reg);
    1.39 +#endif
    1.40  	*pval = val;
    1.41  	return (IA64_NO_FAULT);
    1.42  }

     2.1 --- a/xen/include/asm-ia64/config.h	Sun Sep 18 10:30:57 2005 -0600
     2.2 +++ b/xen/include/asm-ia64/config.h	Sun Sep 18 12:18:57 2005 -0600
     2.3 @@ -9,6 +9,8 @@
     2.4  #define VHPT_GLOBAL
     2.5  #define DOMU_AUTO_RESTART
     2.6  
     2.7 +#undef DEBUG_PFMON
     2.8 +
     2.9  // manufactured from component pieces
    2.10  
    2.11  // defined in linux/arch/ia64/defconfig