1.1 --- a/xen/common/xenoprof.c	Thu Aug 05 14:41:14 2010 +0100
     1.2 +++ b/xen/common/xenoprof.c	Fri Aug 06 15:41:59 2010 +0100
     1.3 @@ -49,9 +49,6 @@ static u64 passive_samples;
     1.4  static u64 idle_samples;
     1.5  static u64 others_samples;
     1.6  
     1.7 -/* AMD IBS support */
     1.8 -extern u32 ibs_caps;
     1.9 -
    1.10  int acquire_pmu_ownership(int pmu_ownship)
    1.11  {
    1.12      spin_lock(&pmu_owner_lock);

     2.1 --- a/xen/include/asm-ia64/xenoprof.h	Thu Aug 05 14:41:14 2010 +0100
     2.2 +++ b/xen/include/asm-ia64/xenoprof.h	Fri Aug 06 15:41:59 2010 +0100
     2.3 @@ -34,6 +34,13 @@ void xenoprof_arch_stop(void);
     2.4  void xenoprof_arch_disable_virq(void);
     2.5  void xenoprof_arch_release_counters(void);
     2.6  
     2.7 +static inline int xenoprof_arch_ibs_counter(XEN_GUEST_HANDLE(void) arg)
     2.8 +{
     2.9 +    return -ENOSYS;  /* not supported */
    2.10 +}
    2.11 +/* AMD IBS not supported */
    2.12 +#define ibs_caps	0
    2.13 +
    2.14  struct vcpu;
    2.15  struct cpu_user_regs;
    2.16  int xenoprofile_get_mode(struct vcpu *v, struct cpu_user_regs * const regs);