1.1 --- a/xen/drivers/passthrough/vtd/iommu.c	Tue Oct 14 11:08:15 2008 +0100
     1.2 +++ b/xen/drivers/passthrough/vtd/iommu.c	Tue Oct 14 11:10:46 2008 +0100
     1.3 @@ -346,7 +346,7 @@ static int flush_context_reg(
     1.4          cpu_relax();
     1.5      }
     1.6      spin_unlock_irqrestore(&iommu->register_lock, flag);
     1.7 -    /* flush context entry will implictly flush write buffer */
     1.8 +    /* flush context entry will implicitly flush write buffer */
     1.9      return 0;
    1.10  }
    1.11  
    1.12 @@ -453,7 +453,7 @@ static int flush_iotlb_reg(void *_iommu,
    1.13          dprintk(XENLOG_INFO VTDPREFIX,
    1.14                  "IOMMU: tlb flush request %x, actual %x\n",
    1.15                 (u32)DMA_TLB_IIRG(type), (u32)DMA_TLB_IAIG(val));
    1.16 -    /* flush context entry will implictly flush write buffer */
    1.17 +    /* flush iotlb entry will implicitly flush write buffer */
    1.18      return 0;
    1.19  }
    1.20