1.1 --- a/xen/drivers/passthrough/vtd/dmar.c	Thu Feb 11 19:48:58 2010 +0000
     1.2 +++ b/xen/drivers/passthrough/vtd/dmar.c	Thu Feb 11 19:49:31 2010 +0000
     1.3 @@ -176,13 +176,18 @@ struct acpi_drhd_unit * acpi_find_matche
     1.4      if ( pdev == NULL )
     1.5          return NULL;
     1.6  
     1.7 -    if (pdev->info.is_extfn) {
     1.8 +    if ( pdev->info.is_extfn )
     1.9 +    {
    1.10          bus = pdev->bus;
    1.11          devfn = 0;
    1.12 -    } else if (pdev->info.is_virtfn) {
    1.13 +    }
    1.14 +    else if ( pdev->info.is_virtfn )
    1.15 +    {
    1.16          bus = pdev->info.physfn.bus;
    1.17          devfn = PCI_SLOT(pdev->info.physfn.devfn) ? 0 : pdev->info.physfn.devfn;
    1.18 -    } else {
    1.19 +    }
    1.20 +    else
    1.21 +    {
    1.22          bus = pdev->bus;
    1.23          devfn = pdev->devfn;
    1.24      }