1.1 --- a/xen/drivers/cpufreq/cpufreq.c	Tue Oct 21 09:48:56 2008 +0100
     1.2 +++ b/xen/drivers/cpufreq/cpufreq.c	Tue Oct 21 09:49:19 2008 +0100
     1.3 @@ -186,10 +186,18 @@ int cpufreq_del_cpu(unsigned int cpu)
     1.4      return 0;
     1.5  }
     1.6  
     1.7 +static void print_PCT(struct xen_pct_register *ptr)
     1.8 +{
     1.9 +    printk(KERN_INFO "\t_PCT: descriptor=%d, length=%d, space_id=%d, "
    1.10 +            "bit_width=%d, bit_offset=%d, reserved=%d, address=%"PRId64"\n",
    1.11 +            ptr->descriptor, ptr->length, ptr->space_id, ptr->bit_width, 
    1.12 +            ptr->bit_offset, ptr->reserved, ptr->address);
    1.13 +}
    1.14 +
    1.15  static void print_PSS(struct xen_processor_px *ptr, int count)
    1.16  {
    1.17      int i;
    1.18 -    printk(KERN_INFO "\t_PSS:\n");
    1.19 +    printk(KERN_INFO "\t_PSS: state_count=%d\n", count);
    1.20      for (i=0; i<count; i++){
    1.21          printk(KERN_INFO "\tState%d: %"PRId64"MHz %"PRId64"mW %"PRId64"us "
    1.22                 "%"PRId64"us 0x%"PRIx64" 0x%"PRIx64"\n",
    1.23 @@ -212,6 +220,11 @@ static void print_PSD( struct xen_psd_pa
    1.24              ptr->num_processors);
    1.25  }
    1.26  
    1.27 +static void print_PPC(unsigned int platform_limit)
    1.28 +{
    1.29 +    printk(KERN_INFO "\t_PPC: %d\n", platform_limit);
    1.30 +}
    1.31 +
    1.32  int set_px_pminfo(uint32_t acpi_id, struct xen_processor_performance *dom0_px_info)
    1.33  {
    1.34      int ret=0, cpuid;
    1.35 @@ -251,6 +264,8 @@ int set_px_pminfo(uint32_t acpi_id, stru
    1.36          memcpy ((void *)&pxpt->status_register,
    1.37                  (void *)&dom0_px_info->status_register,
    1.38                  sizeof(struct xen_pct_register));
    1.39 +        print_PCT(&pxpt->control_register);
    1.40 +        print_PCT(&pxpt->status_register);
    1.41      }
    1.42      if ( dom0_px_info->flags & XEN_PX_PSS ) 
    1.43      {
    1.44 @@ -276,6 +291,7 @@ int set_px_pminfo(uint32_t acpi_id, stru
    1.45      if ( dom0_px_info->flags & XEN_PX_PPC )
    1.46      {
    1.47          pxpt->platform_limit = dom0_px_info->platform_limit;
    1.48 +        print_PPC(pxpt->platform_limit);
    1.49  
    1.50          if ( pxpt->init == XEN_PX_INIT )
    1.51          {