Applied on 2577.
 
Thanks
Tzachi

________________________________

        From: Tzachi Dar 
        Sent: Sunday, November 15, 2009 8:05 PM
        To: [email protected]
        Cc: Windows Design
        Subject: patch: [bus] fix minor issue found in prefast
        
        
        signed off by: urih
         
        Index: Q:/projinf3/trunk/hw/mlx4/kernel/bus/net/port.c
        
===================================================================
        --- Q:/projinf3/trunk/hw/mlx4/kernel/bus/net/port.c (revision
4959)
        +++ Q:/projinf3/trunk/hw/mlx4/kernel/bus/net/port.c (revision
4960)
        @@ -55,7 +55,7 @@
          int i;
         
          sema_init(&table->vlan_sem, 1);
        - for (i = 0; i < MLX4_MAX_MAC_NUM; i++) {
        + for (i = 0; i < MLX4_MAX_VLAN_NUM; i++) {
           table->entries[i] = 0;
           table->refs[i] = 0;
          }
        Index: Q:/projinf3/trunk/hw/mlx4/kernel/bus/drv/wmi.c
        
===================================================================
        --- Q:/projinf3/trunk/hw/mlx4/kernel/bus/drv/wmi.c (revision
4959)
        +++ Q:/projinf3/trunk/hw/mlx4/kernel/bus/drv/wmi.c (revision
4960)
        @@ -44,14 +44,11 @@
         {
          WDF_WMI_PROVIDER_CONFIG providerConfig;
          WDF_WMI_INSTANCE_CONFIG instanceConfig;
        - PFDO_DEVICE_DATA deviceData;
          NTSTATUS status;
          DECLARE_CONST_UNICODE_STRING(busRsrcName, BUSRESOURCENAME);
         
          PAGED_CODE();
         
        - deviceData = FdoGetData(Device);
        -
          //
          // Register WMI classes.
          // First specify the resource name which contain the binary
mof resource.
        Index: Q:/projinf3/trunk/hw/mlx4/kernel/hca/wmi.c
        
===================================================================
        --- Q:/projinf3/trunk/hw/mlx4/kernel/hca/wmi.c (revision 4959)
        +++ Q:/projinf3/trunk/hw/mlx4/kernel/hca/wmi.c (revision 4960)
        @@ -59,14 +59,11 @@
         {
          WDF_WMI_PROVIDER_CONFIG providerConfig;
          WDF_WMI_INSTANCE_CONFIG instanceConfig;
        - PFDO_DEVICE_DATA deviceData;
          NTSTATUS status;
          DECLARE_CONST_UNICODE_STRING(hcaRsrcName, HCARESOURCENAME);
         
          PAGED_CODE();
         
        - deviceData = FdoGetData(Device);
        -
          //
          // Register WMI classes.
          // First specify the resource name which contain the binary
mof resource.
        
         

_______________________________________________
ofw mailing list
[email protected]
http://lists.openfabrics.org/cgi-bin/mailman/listinfo/ofw

Reply via email to