1.1 --- a/xen/drivers/passthrough/io.c	Mon Jun 16 11:24:17 2008 +0100
     1.2 +++ b/xen/drivers/passthrough/io.c	Mon Jun 16 11:49:15 2008 +0100
     1.3 @@ -253,9 +253,8 @@ void hvm_dpci_eoi(struct domain *d, unsi
     1.4      {
     1.5          spin_unlock(&hvm_irq_dpci->dirq_lock);
     1.6  
     1.7 -        gdprintk(XENLOG_INFO VTDPREFIX,
     1.8 -                 "hvm_dpci_eoi:: mirq = %x\n", machine_gsi);
     1.9 -        stop_timer(&hvm_irq_dpci->hvm_timer[domain_irq_to_vector(d, machine_gsi)]);
    1.10 +        stop_timer(&hvm_irq_dpci->hvm_timer[
    1.11 +            domain_irq_to_vector(d, machine_gsi)]);
    1.12          if ( (ent == NULL) || !ent->fields.mask )
    1.13              pirq_guest_eoi(d, machine_gsi);
    1.14      }

     2.1 --- a/xen/drivers/passthrough/vtd/iommu.c	Mon Jun 16 11:24:17 2008 +0100
     2.2 +++ b/xen/drivers/passthrough/vtd/iommu.c	Mon Jun 16 11:49:15 2008 +0100
     2.3 @@ -1696,7 +1696,7 @@ static int init_vtd_hw(void)
     2.4      {
     2.5          iommu = drhd->iommu;
     2.6          if ( qinval_setup(iommu) != 0 )
     2.7 -            dprintk(XENLOG_ERR VTDPREFIX,
     2.8 +            dprintk(XENLOG_INFO VTDPREFIX,
     2.9                      "Queued Invalidation hardware not found\n");
    2.10      }
    2.11  
    2.12 @@ -1704,7 +1704,7 @@ static int init_vtd_hw(void)
    2.13      {
    2.14          iommu = drhd->iommu;
    2.15          if ( intremap_setup(iommu) != 0 )
    2.16 -            dprintk(XENLOG_ERR VTDPREFIX,
    2.17 +            dprintk(XENLOG_INFO VTDPREFIX,
    2.18                      "Interrupt Remapping hardware not found\n");
    2.19      }
    2.20