Revision: 16583
          http://sourceforge.net/p/edk2/code/16583
Author:   oliviermartin
Date:     2015-01-06 15:47:25 +0000 (Tue, 06 Jan 2015)
Log Message:
-----------
ArmPlatformPkg: Make PCI emulation more compliant with the UEFI spec
 
Contributed-under: TianoCore Contribution Agreement 1.0
Signed-off-by: Ronald Cron <[email protected]>
Reviewed-by: Olivier Martin <[email protected]>

Modified Paths:
--------------
    trunk/edk2/ArmPlatformPkg/ArmJunoPkg/Drivers/ArmJunoDxe/PciEmulation.c
    trunk/edk2/Omap35xxPkg/PciEmulation/PciEmulation.c

Modified: trunk/edk2/ArmPlatformPkg/ArmJunoPkg/Drivers/ArmJunoDxe/PciEmulation.c
===================================================================
--- trunk/edk2/ArmPlatformPkg/ArmJunoPkg/Drivers/ArmJunoDxe/PciEmulation.c      
2015-01-06 15:46:36 UTC (rev 16582)
+++ trunk/edk2/ArmPlatformPkg/ArmJunoPkg/Drivers/ArmJunoDxe/PciEmulation.c      
2015-01-06 15:47:25 UTC (rev 16583)
@@ -159,28 +159,70 @@
   return EFI_UNSUPPORTED;
 }
 
+/**
+  Enable a PCI driver to read PCI controller registers in PCI configuration 
space.
+
+  @param[in]      This    A pointer to the EFI_PCI_IO_PROTOCOL instance.
+  @param[in]      Width   Signifies the width of the memory operations.
+  @param[in]      Offset  The offset within the PCI configuration space for
+                          the PCI controller.
+  @param[in]      Count   The number of PCI configuration operations to
+                          perform. Bytes moved is Width size * Count,
+                          starting at Offset.
+
+  @param[in out]  Buffer  The destination buffer to store the results.
+
+  @retval  EFI_SUCCESS            The data was read from the PCI controller.
+  @retval  EFI_INVALID_PARAMETER  "Width" is invalid.
+  @retval  EFI_INVALID_PARAMETER  "Buffer" is NULL.
+
+**/
 EFI_STATUS
 PciIoPciRead (
-  IN EFI_PCI_IO_PROTOCOL              *This,
-  IN     EFI_PCI_IO_PROTOCOL_WIDTH    Width,
-  IN     UINT32                       Offset,
-  IN     UINTN                        Count,
-  IN OUT VOID                         *Buffer
+  IN     EFI_PCI_IO_PROTOCOL       *This,
+  IN     EFI_PCI_IO_PROTOCOL_WIDTH  Width,
+  IN     UINT32                     Offset,
+  IN     UINTN                      Count,
+  IN OUT VOID                      *Buffer
   )
 {
   EFI_PCI_IO_PRIVATE_DATA *Private = EFI_PCI_IO_PRIVATE_DATA_FROM_THIS (This);
   EFI_STATUS Status;
 
-  Status = PciRootBridgeIoMemRW ((EFI_PCI_ROOT_BRIDGE_IO_PROTOCOL_WIDTH)Width,
-                               Count,
-                               TRUE,
-                               (PTR)(UINTN)Buffer,
-                               TRUE,
-                               (PTR)(UINTN)(((UINT8 *)Private->ConfigSpace) + 
Offset)  //Fix me ConfigSpace
-                              );
+  if ((Width < 0) || (Width >= EfiPciIoWidthMaximum) || (Buffer == NULL)) {
+    return EFI_INVALID_PARAMETER;
+  }
+
+  Status = PciRootBridgeIoMemRW (
+             (EFI_PCI_ROOT_BRIDGE_IO_PROTOCOL_WIDTH)Width,
+             Count,
+             TRUE,
+             (PTR)(UINTN)Buffer,
+             TRUE,
+             (PTR)(UINTN)(((UINT8 *)Private->ConfigSpace) + Offset)  //Fix me 
ConfigSpace
+             );
+
   return Status;
 }
 
+/**
+  Enable a PCI driver to write PCI controller registers in PCI configuration 
space.
+
+  @param[in]      This    A pointer to the EFI_PCI_IO_PROTOCOL instance.
+  @param[in]      Width   Signifies the width of the memory operations.
+  @param[in]      Offset  The offset within the PCI configuration space for
+                          the PCI controller.
+  @param[in]      Count   The number of PCI configuration operations to
+                          perform. Bytes moved is Width size * Count,
+                          starting at Offset.
+
+  @param[in out]  Buffer  The source buffer to write data from.
+
+  @retval  EFI_SUCCESS            The data was read from the PCI controller.
+  @retval  EFI_INVALID_PARAMETER  "Width" is invalid.
+  @retval  EFI_INVALID_PARAMETER  "Buffer" is NULL.
+
+**/
 EFI_STATUS
 PciIoPciWrite (
   IN EFI_PCI_IO_PROTOCOL              *This,
@@ -192,6 +234,10 @@
 {
   EFI_PCI_IO_PRIVATE_DATA *Private = EFI_PCI_IO_PRIVATE_DATA_FROM_THIS (This);
 
+  if ((Width < 0) || (Width >= EfiPciIoWidthMaximum) || (Buffer == NULL)) {
+    return EFI_INVALID_PARAMETER;
+  }
+
   return PciRootBridgeIoMemRW ((EFI_PCI_ROOT_BRIDGE_IO_PROTOCOL_WIDTH) Width,
                                Count,
                                TRUE,
@@ -249,18 +295,44 @@
   return DmaUnmap (Mapping);
 }
 
+/**
+  Allocate pages that are suitable for an 
EfiPciIoOperationBusMasterCommonBuffer
+  mapping.
+
+  @param[in]   This         A pointer to the EFI_PCI_IO_PROTOCOL instance.
+  @param[in]   Type         This parameter is not used and must be ignored.
+  @param[in]   MemoryType   The type of memory to allocate, 
EfiBootServicesData or
+                            EfiRuntimeServicesData.
+  @param[in]   Pages        The number of pages to allocate.
+  @param[out]  HostAddress  A pointer to store the base system memory address 
of
+                            the allocated range.
+  @param[in]   Attributes   The requested bit mask of attributes for the 
allocated
+                            range. Only the attributes,
+                            EFI_PCI_ATTRIBUTE_MEMORY_WRITE_COMBINE and
+                            EFI_PCI_ATTRIBUTE_MEMORY_CACHED may be used with 
this
+                            function. If any other bits are set, then 
EFI_UNSUPPORTED
+                            is returned. This function ignores this bit mask.
+
+  @retval  EFI_SUCCESS            The requested memory pages were allocated.
+  @retval  EFI_INVALID_PARAMETER  HostAddress is NULL.
+  @retval  EFI_INVALID_PARAMETER  MemoryType is invalid.
+  @retval  EFI_UNSUPPORTED        Attributes is unsupported.
+  @retval  EFI_OUT_OF_RESOURCES   The memory pages could not be allocated.
+
+**/
 EFI_STATUS
 PciIoAllocateBuffer (
-  IN EFI_PCI_IO_PROTOCOL           *This,
-  IN  EFI_ALLOCATE_TYPE            Type,
-  IN  EFI_MEMORY_TYPE              MemoryType,
-  IN  UINTN                        Pages,
-  OUT VOID                         **HostAddress,
-  IN  UINT64                       Attributes
+  IN EFI_PCI_IO_PROTOCOL  *This,
+  IN  EFI_ALLOCATE_TYPE   Type,
+  IN  EFI_MEMORY_TYPE     MemoryType,
+  IN  UINTN               Pages,
+  OUT VOID                **HostAddress,
+  IN  UINT64              Attributes
   )
 {
-  if (Attributes & EFI_PCI_ATTRIBUTE_INVALID_FOR_ALLOCATE_BUFFER) {
-    // Check this
+  if (Attributes &
+      (~(EFI_PCI_ATTRIBUTE_MEMORY_WRITE_COMBINE |
+         EFI_PCI_ATTRIBUTE_MEMORY_CACHED         ))) {
     return EFI_UNSUPPORTED;
   }
 
@@ -287,36 +359,70 @@
   return EFI_SUCCESS;
 }
 
+/**
+  Retrieves this PCI controller's current PCI bus number, device number, and 
function number.
+
+  @param[in]   This            A pointer to the EFI_PCI_IO_PROTOCOL instance.
+  @param[out]  SegmentNumber   The PCI controller's current PCI segment number.
+  @param[out]  BusNumber       The PCI controller's current PCI bus number.
+  @param[out]  DeviceNumber    The PCI controller's current PCI device number.
+  @param[out]  FunctionNumber  The PCI controller’s current PCI function 
number.
+
+  @retval  EFI_SUCCESS            The PCI controller location was returned.
+  @retval  EFI_INVALID_PARAMETER  At least one out of the four output 
parameters is
+                                  a NULL pointer.
+**/
 EFI_STATUS
 PciIoGetLocation (
-  IN EFI_PCI_IO_PROTOCOL          *This,
-  OUT UINTN                       *SegmentNumber,
-  OUT UINTN                       *BusNumber,
-  OUT UINTN                       *DeviceNumber,
-  OUT UINTN                       *FunctionNumber
+  IN   EFI_PCI_IO_PROTOCOL  *This,
+  OUT  UINTN                *SegmentNumber,
+  OUT  UINTN                *BusNumber,
+  OUT  UINTN                *DeviceNumber,
+  OUT  UINTN                *FunctionNumber
   )
 {
   EFI_PCI_IO_PRIVATE_DATA *Private = EFI_PCI_IO_PRIVATE_DATA_FROM_THIS (This);
 
-  if (SegmentNumber != NULL) {
-    *SegmentNumber = Private->Segment;
+  if ((SegmentNumber == NULL) || (BusNumber      == NULL) ||
+      (DeviceNumber  == NULL) || (FunctionNumber == NULL)    ) {
+    return EFI_INVALID_PARAMETER;
   }
 
-  if (BusNumber != NULL) {
-    *BusNumber = 0xff;
-  }
+  *SegmentNumber  = Private->Segment;
+  *BusNumber      = 0xff;
+  *DeviceNumber   = 0;
+  *FunctionNumber = 0;
 
-  if (DeviceNumber != NULL) {
-    *DeviceNumber = 0;
-  }
-
-  if (FunctionNumber != NULL) {
-    *FunctionNumber = 0;
-  }
-
   return EFI_SUCCESS;
 }
 
+/**
+  Performs an operation on the attributes that this PCI controller supports.
+
+  The operations include getting the set of supported attributes, retrieving
+  the current attributes, setting the current attributes, enabling attributes,
+  and disabling attributes.
+
+  @param[in]   This        A pointer to the EFI_PCI_IO_PROTOCOL instance.
+  @param[in]   Operation   The operation to perform on the attributes for this
+                           PCI controller.
+  @param[in]   Attributes  The mask of attributes that are used for Set,
+                           Enable and Disable operations.
+  @param[out]  Result      A pointer to the result mask of attributes that are
+                           returned for the Get and Supported operations. This
+                           is an optional parameter that may be NULL for the
+                           Set, Enable, and Disable operations.
+
+  @retval  EFI_SUCCESS            The operation on the PCI controller's
+                                  attributes was completed. If the operation
+                                  was Get or Supported, then the attribute mask
+                                  is returned in Result.
+  @retval  EFI_INVALID_PARAMETER  Operation is greater than or equal to
+                                  EfiPciIoAttributeOperationMaximum.
+  @retval  EFI_INVALID_PARAMETER  Operation is Get and Result is NULL.
+  @retval  EFI_INVALID_PARAMETER  Operation is Supported and Result is NULL.
+
+**/
 EFI_STATUS
 PciIoAttributes (
   IN EFI_PCI_IO_PROTOCOL                       *This,
@@ -331,18 +437,22 @@
     if (Result == NULL) {
       return EFI_INVALID_PARAMETER;
     }
+    //
     // We are not a real PCI device so just say things we kind of do
-    *Result = EFI_PCI_IO_ATTRIBUTE_MEMORY | EFI_PCI_IO_ATTRIBUTE_BUS_MASTER | 
EFI_PCI_DEVICE_ENABLE;
+    //
+    *Result = EFI_PCI_DEVICE_ENABLE;
     break;
 
   case EfiPciIoAttributeOperationSet:
   case EfiPciIoAttributeOperationEnable:
   case EfiPciIoAttributeOperationDisable:
+    if (Attributes & (~EFI_PCI_DEVICE_ENABLE)) {
+      return EFI_UNSUPPORTED;
+    }
     // Since we are not a real PCI device no enable/set or disable operations 
exist.
     return EFI_SUCCESS;
 
   default:
-  ASSERT (FALSE);
     return EFI_INVALID_PARAMETER;
   };
   return EFI_SUCCESS;

Modified: trunk/edk2/Omap35xxPkg/PciEmulation/PciEmulation.c
===================================================================
--- trunk/edk2/Omap35xxPkg/PciEmulation/PciEmulation.c  2015-01-06 15:46:36 UTC 
(rev 16582)
+++ trunk/edk2/Omap35xxPkg/PciEmulation/PciEmulation.c  2015-01-06 15:47:25 UTC 
(rev 16583)
@@ -206,26 +206,70 @@
   return EFI_UNSUPPORTED;
 }
 
+/**
+  Enable a PCI driver to read PCI controller registers in PCI configuration 
space.
+
+  @param[in]      This    A pointer to the EFI_PCI_IO_PROTOCOL instance.
+  @param[in]      Width   Signifies the width of the memory operations.
+  @param[in]      Offset  The offset within the PCI configuration space for
+                          the PCI controller.
+  @param[in]      Count   The number of PCI configuration operations to
+                          perform. Bytes moved is Width size * Count,
+                          starting at Offset.
+
+  @param[in out]  Buffer  The destination buffer to store the results.
+
+  @retval  EFI_SUCCESS            The data was read from the PCI controller.
+  @retval  EFI_INVALID_PARAMETER  "Width" is invalid.
+  @retval  EFI_INVALID_PARAMETER  "Buffer" is NULL.
+
+**/
 EFI_STATUS
 PciIoPciRead (
-  IN EFI_PCI_IO_PROTOCOL              *This,
-  IN     EFI_PCI_IO_PROTOCOL_WIDTH    Width,
-  IN     UINT32                       Offset,
-  IN     UINTN                        Count,
-  IN OUT VOID                         *Buffer
+  IN     EFI_PCI_IO_PROTOCOL       *This,
+  IN     EFI_PCI_IO_PROTOCOL_WIDTH  Width,
+  IN     UINT32                     Offset,
+  IN     UINTN                      Count,
+  IN OUT VOID                      *Buffer
   )
 {
-  EFI_PCI_IO_PRIVATE_DATA *Private = EFI_PCI_IO_PRIVATE_DATA_FROM_THIS(This);
+  EFI_PCI_IO_PRIVATE_DATA *Private = EFI_PCI_IO_PRIVATE_DATA_FROM_THIS (This);
+  EFI_STATUS Status;
 
-  return PciRootBridgeIoMemRW ((EFI_PCI_ROOT_BRIDGE_IO_PROTOCOL_WIDTH)Width,
-                               Count,
-                               TRUE,
-                               (PTR)(UINTN)Buffer,
-                               TRUE,
-                               (PTR)(UINTN)(((UINT8 *)Private->ConfigSpace) + 
Offset)
-                              );
+  if ((Width < 0) || (Width >= EfiPciIoWidthMaximum) || (Buffer == NULL)) {
+    return EFI_INVALID_PARAMETER;
+  }
+
+  Status = PciRootBridgeIoMemRW (
+             (EFI_PCI_ROOT_BRIDGE_IO_PROTOCOL_WIDTH)Width,
+             Count,
+             TRUE,
+             (PTR)(UINTN)Buffer,
+             TRUE,
+             (PTR)(UINTN)(((UINT8 *)Private->ConfigSpace) + Offset)  //Fix me 
ConfigSpace
+             );
+
+  return Status;
 }
 
+/**
+  Enable a PCI driver to write PCI controller registers in PCI configuration 
space.
+
+  @param[in]      This    A pointer to the EFI_PCI_IO_PROTOCOL instance.
+  @param[in]      Width   Signifies the width of the memory operations.
+  @param[in]      Offset  The offset within the PCI configuration space for
+                          the PCI controller.
+  @param[in]      Count   The number of PCI configuration operations to
+                          perform. Bytes moved is Width size * Count,
+                          starting at Offset.
+
+  @param[in out]  Buffer  The source buffer to write data from.
+
+  @retval  EFI_SUCCESS            The data was read from the PCI controller.
+  @retval  EFI_INVALID_PARAMETER  "Width" is invalid.
+  @retval  EFI_INVALID_PARAMETER  "Buffer" is NULL.
+
+**/
 EFI_STATUS
 PciIoPciWrite (
   IN EFI_PCI_IO_PROTOCOL              *This,
@@ -235,8 +279,12 @@
   IN OUT VOID                         *Buffer
   )
 {
-  EFI_PCI_IO_PRIVATE_DATA *Private = EFI_PCI_IO_PRIVATE_DATA_FROM_THIS(This);
+  EFI_PCI_IO_PRIVATE_DATA *Private = EFI_PCI_IO_PRIVATE_DATA_FROM_THIS (This);
 
+  if ((Width < 0) || (Width >= EfiPciIoWidthMaximum) || (Buffer == NULL)) {
+    return EFI_INVALID_PARAMETER;
+  }
+
   return PciRootBridgeIoMemRW ((EFI_PCI_ROOT_BRIDGE_IO_PROTOCOL_WIDTH) Width,
                                Count,
                                TRUE,
@@ -294,18 +342,44 @@
   return DmaUnmap (Mapping);
 }
 
+/**
+  Allocate pages that are suitable for an 
EfiPciIoOperationBusMasterCommonBuffer
+  mapping.
+
+  @param[in]   This         A pointer to the EFI_PCI_IO_PROTOCOL instance.
+  @param[in]   Type         This parameter is not used and must be ignored.
+  @param[in]   MemoryType   The type of memory to allocate, 
EfiBootServicesData or
+                            EfiRuntimeServicesData.
+  @param[in]   Pages        The number of pages to allocate.
+  @param[out]  HostAddress  A pointer to store the base system memory address 
of
+                            the allocated range.
+  @param[in]   Attributes   The requested bit mask of attributes for the 
allocated
+                            range. Only the attributes,
+                            EFI_PCI_ATTRIBUTE_MEMORY_WRITE_COMBINE and
+                            EFI_PCI_ATTRIBUTE_MEMORY_CACHED may be used with 
this
+                            function. If any other bits are set, then 
EFI_UNSUPPORTED
+                            is returned. This function ignores this bit mask.
+
+  @retval  EFI_SUCCESS            The requested memory pages were allocated.
+  @retval  EFI_INVALID_PARAMETER  HostAddress is NULL.
+  @retval  EFI_INVALID_PARAMETER  MemoryType is invalid.
+  @retval  EFI_UNSUPPORTED        Attributes is unsupported.
+  @retval  EFI_OUT_OF_RESOURCES   The memory pages could not be allocated.
+
+**/
 EFI_STATUS
 PciIoAllocateBuffer (
-  IN EFI_PCI_IO_PROTOCOL           *This,
-  IN  EFI_ALLOCATE_TYPE            Type,
-  IN  EFI_MEMORY_TYPE              MemoryType,
-  IN  UINTN                        Pages,
-  OUT VOID                         **HostAddress,
-  IN  UINT64                       Attributes
+  IN EFI_PCI_IO_PROTOCOL  *This,
+  IN  EFI_ALLOCATE_TYPE   Type,
+  IN  EFI_MEMORY_TYPE     MemoryType,
+  IN  UINTN               Pages,
+  OUT VOID                **HostAddress,
+  IN  UINT64              Attributes
   )
 {
-  if (Attributes & EFI_PCI_ATTRIBUTE_INVALID_FOR_ALLOCATE_BUFFER) {
-    // Check this
+  if (Attributes &
+      (~(EFI_PCI_ATTRIBUTE_MEMORY_WRITE_COMBINE |
+         EFI_PCI_ATTRIBUTE_MEMORY_CACHED         ))) {
     return EFI_UNSUPPORTED;
   }
 
@@ -332,36 +406,70 @@
   return EFI_SUCCESS;
 }
 
+/**
+  Retrieves this PCI controller's current PCI bus number, device number, and 
function number.
+
+  @param[in]   This            A pointer to the EFI_PCI_IO_PROTOCOL instance.
+  @param[out]  SegmentNumber   The PCI controller's current PCI segment number.
+  @param[out]  BusNumber       The PCI controller's current PCI bus number.
+  @param[out]  DeviceNumber    The PCI controller's current PCI device number.
+  @param[out]  FunctionNumber  The PCI controller’s current PCI function 
number.
+
+  @retval  EFI_SUCCESS            The PCI controller location was returned.
+  @retval  EFI_INVALID_PARAMETER  At least one out of the four output 
parameters is
+                                  a NULL pointer.
+**/
 EFI_STATUS
 PciIoGetLocation (
-  IN EFI_PCI_IO_PROTOCOL          *This,
-  OUT UINTN                       *SegmentNumber,
-  OUT UINTN                       *BusNumber,
-  OUT UINTN                       *DeviceNumber,
-  OUT UINTN                       *FunctionNumber
+  IN   EFI_PCI_IO_PROTOCOL  *This,
+  OUT  UINTN                *SegmentNumber,
+  OUT  UINTN                *BusNumber,
+  OUT  UINTN                *DeviceNumber,
+  OUT  UINTN                *FunctionNumber
   )
 {
-  EFI_PCI_IO_PRIVATE_DATA *Private = EFI_PCI_IO_PRIVATE_DATA_FROM_THIS(This);
+  EFI_PCI_IO_PRIVATE_DATA *Private = EFI_PCI_IO_PRIVATE_DATA_FROM_THIS (This);
 
-  if (SegmentNumber != NULL) {
-    *SegmentNumber = Private->Segment;
+  if ((SegmentNumber == NULL) || (BusNumber      == NULL) ||
+      (DeviceNumber  == NULL) || (FunctionNumber == NULL)    ) {
+    return EFI_INVALID_PARAMETER;
   }
 
-  if (BusNumber != NULL) {
-    *BusNumber = 0xff;
-  }
+  *SegmentNumber  = Private->Segment;
+  *BusNumber      = 0xff;
+  *DeviceNumber   = 0;
+  *FunctionNumber = 0;
 
-  if (DeviceNumber != NULL) {
-    *DeviceNumber = 0;
-  }
-
-  if (FunctionNumber != NULL) {
-    *FunctionNumber = 0;
-  }
-
   return EFI_SUCCESS;
 }
 
+/**
+  Performs an operation on the attributes that this PCI controller supports.
+
+  The operations include getting the set of supported attributes, retrieving
+  the current attributes, setting the current attributes, enabling attributes,
+  and disabling attributes.
+
+  @param[in]   This        A pointer to the EFI_PCI_IO_PROTOCOL instance.
+  @param[in]   Operation   The operation to perform on the attributes for this
+                           PCI controller.
+  @param[in]   Attributes  The mask of attributes that are used for Set,
+                           Enable and Disable operations.
+  @param[out]  Result      A pointer to the result mask of attributes that are
+                           returned for the Get and Supported operations. This
+                           is an optional parameter that may be NULL for the
+                           Set, Enable, and Disable operations.
+
+  @retval  EFI_SUCCESS            The operation on the PCI controller's
+                                  attributes was completed. If the operation
+                                  was Get or Supported, then the attribute mask
+                                  is returned in Result.
+  @retval  EFI_INVALID_PARAMETER  Operation is greater than or equal to
+                                  EfiPciIoAttributeOperationMaximum.
+  @retval  EFI_INVALID_PARAMETER  Operation is Get and Result is NULL.
+  @retval  EFI_INVALID_PARAMETER  Operation is Supported and Result is NULL.
+
+**/
 EFI_STATUS
 PciIoAttributes (
   IN EFI_PCI_IO_PROTOCOL                       *This,
@@ -376,18 +484,22 @@
     if (Result == NULL) {
       return EFI_INVALID_PARAMETER;
     }
+    //
     // We are not a real PCI device so just say things we kind of do
-    *Result = EFI_PCI_IO_ATTRIBUTE_MEMORY | EFI_PCI_IO_ATTRIBUTE_BUS_MASTER | 
EFI_PCI_DEVICE_ENABLE;
+    //
+    *Result = EFI_PCI_DEVICE_ENABLE;
     break;
 
   case EfiPciIoAttributeOperationSet:
   case EfiPciIoAttributeOperationEnable:
   case EfiPciIoAttributeOperationDisable:
+    if (Attributes & (~EFI_PCI_DEVICE_ENABLE)) {
+      return EFI_UNSUPPORTED;
+    }
     // Since we are not a real PCI device no enable/set or disable operations 
exist.
     return EFI_SUCCESS;
 
   default:
-  ASSERT (FALSE);
     return EFI_INVALID_PARAMETER;
   };
   return EFI_SUCCESS;


------------------------------------------------------------------------------
Dive into the World of Parallel Programming! The Go Parallel Website,
sponsored by Intel and developed in partnership with Slashdot Media, is your
hub for all things parallel software development, from weekly thought
leadership blogs to news, videos, case studies, tutorials and more. Take a
look and join the conversation now. http://goparallel.sourceforge.net
_______________________________________________
edk2-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/edk2-commits

Reply via email to