1. Fixed bug for WriteUnaligned24() in Unaligned.c of BaseLib

2. Added assert() for AsmFxRestore() in x86LowLevel.c of BaseLib
3. Added assert() for LongJump() in LongJump.c of BaseLib
4. Changed parameter type of Value from "IN" to "IN OUT" for InterLockedComparedExchanged32/64/pointer() functions to sync with MWG-0.55a 
5. Changed functions header of all BitField functions of BaseLib, BaseIoLibIntrinsic, BasePciCf8Lib, BasePciExpressLib, BasePciLibCf8, BasePciLibPciExpressLib DxeIoLibCpuIo, PeiIoLibCpuIo etc, to follow MWG-0.55a.

git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@565 6f19259b-4bc3-4df7-8a09-765794883524

6 files changed, 130 insertions, 130 deletions

diff --git a/MdePkg/Include/Library/BaseLib.h b/MdePkg/Include/Library/BaseLib.h
index a63bc1bc3e..28d53bf712 100644
--- a/MdePkg/Include/Library/BaseLib.h
+++ b/MdePkg/Include/Library/BaseLib.h
@@ -1673,7 +1673,7 @@ WriteUnaligned64 (
   If 8-bit operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1702,7 +1702,7 @@ BitFieldRead8 (
   If 8-bit operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1734,7 +1734,7 @@ BitFieldWrite8 (
   If 8-bit operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1766,7 +1766,7 @@ BitFieldOr8 (
   If 8-bit operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1799,7 +1799,7 @@ BitFieldAnd8 (
   If 8-bit operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1830,7 +1830,7 @@ BitFieldAndThenOr8 (
   If 16-bit operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1859,7 +1859,7 @@ BitFieldRead16 (
   If 16-bit operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1891,7 +1891,7 @@ BitFieldWrite16 (
   If 16-bit operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1923,7 +1923,7 @@ BitFieldOr16 (
   If 16-bit operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1956,7 +1956,7 @@ BitFieldAnd16 (
   If 16-bit operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1987,7 +1987,7 @@ BitFieldAndThenOr16 (
   If 32-bit operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2016,7 +2016,7 @@ BitFieldRead32 (
   If 32-bit operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2048,7 +2048,7 @@ BitFieldWrite32 (
   If 32-bit operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2080,7 +2080,7 @@ BitFieldOr32 (
   If 32-bit operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2113,7 +2113,7 @@ BitFieldAnd32 (
   If 32-bit operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2144,7 +2144,7 @@ BitFieldAndThenOr32 (
   If 64-bit operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2173,7 +2173,7 @@ BitFieldRead64 (
   If 64-bit operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2205,7 +2205,7 @@ BitFieldWrite64 (
   If 64-bit operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2237,7 +2237,7 @@ BitFieldOr64 (
   If 64-bit operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2270,7 +2270,7 @@ BitFieldAnd64 (
   If 64-bit operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Operand   Operand on which to perform the bitfield operation.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2466,7 +2466,7 @@ InterlockedDecrement (
 UINT32

 EFIAPI

 InterlockedCompareExchange32 (

-  IN      UINT32                    *Value,

+  IN OUT  UINT32                    *Value,

   IN      UINT32                    CompareValue,

   IN      UINT32                    ExchangeValue

   );

@@ -2485,7 +2485,7 @@ InterlockedCompareExchange32 (
 UINT64

 EFIAPI

 InterlockedCompareExchange64 (

-  IN      UINT64                    *Value,

+  IN OUT  UINT64                    *Value,

   IN      UINT64                    CompareValue,

   IN      UINT64                    ExchangeValue

   );

@@ -2510,7 +2510,7 @@ InterlockedCompareExchange64 (
 VOID *

 EFIAPI

 InterlockedCompareExchangePointer (

-  IN      VOID                      **Value,

+  IN OUT  VOID                      **Value,

   IN      VOID                      *CompareValue,

   IN      VOID                      *ExchangeValue

   );

@@ -3212,7 +3212,7 @@ AsmMsrAndThenOr32 (
 

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Index     The 32-bit MSR index to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -3244,7 +3244,7 @@ AsmMsrBitFieldRead32 (
 

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Index     The 32-bit MSR index to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -3279,7 +3279,7 @@ AsmMsrBitFieldWrite32 (
 

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Index     The 32-bit MSR index to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -3314,7 +3314,7 @@ AsmMsrBitFieldOr32 (
 

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Index     The 32-bit MSR index to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -3351,7 +3351,7 @@ AsmMsrBitFieldAnd32 (
 

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Index     The 32-bit MSR index to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -3508,7 +3508,7 @@ AsmMsrAndThenOr64 (
 

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Index     The 32-bit MSR index to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -3539,7 +3539,7 @@ AsmMsrBitFieldRead64 (
 

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Index     The 32-bit MSR index to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -3574,7 +3574,7 @@ AsmMsrBitFieldWrite64 (
 

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Index     The 32-bit MSR index to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -3609,7 +3609,7 @@ AsmMsrBitFieldOr64 (
 

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Index     The 32-bit MSR index to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -3645,7 +3645,7 @@ AsmMsrBitFieldAnd64 (
 

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Index     The 32-bit MSR index to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

diff --git a/MdePkg/Include/Library/IoLib.h b/MdePkg/Include/Library/IoLib.h
index 532c26b0e5..d82b23c11a 100644
--- a/MdePkg/Include/Library/IoLib.h
+++ b/MdePkg/Include/Library/IoLib.h
@@ -149,7 +149,7 @@ IoAndThenOr8 (
   If 8-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -179,7 +179,7 @@ IoBitFieldRead8 (
   If 8-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -213,7 +213,7 @@ IoBitFieldWrite8 (
   If 8-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -247,7 +247,7 @@ IoBitFieldOr8 (
   If 8-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -283,7 +283,7 @@ IoBitFieldAnd8 (
   If 8-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -435,7 +435,7 @@ IoAndThenOr16 (
   If 16-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -465,7 +465,7 @@ IoBitFieldRead16 (
   If 16-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -499,7 +499,7 @@ IoBitFieldWrite16 (
   If 16-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -533,7 +533,7 @@ IoBitFieldOr16 (
   If 16-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -569,7 +569,7 @@ IoBitFieldAnd16 (
   If 16-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -721,7 +721,7 @@ IoAndThenOr32 (
   If 32-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -751,7 +751,7 @@ IoBitFieldRead32 (
   If 32-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -785,7 +785,7 @@ IoBitFieldWrite32 (
   If 32-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -819,7 +819,7 @@ IoBitFieldOr32 (
   If 32-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -855,7 +855,7 @@ IoBitFieldAnd32 (
   If 32-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1007,7 +1007,7 @@ IoAndThenOr64 (
   If 64-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1037,7 +1037,7 @@ IoBitFieldRead64 (
   If 64-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1071,7 +1071,7 @@ IoBitFieldWrite64 (
   If 64-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1105,7 +1105,7 @@ IoBitFieldOr64 (
   If 64-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1141,7 +1141,7 @@ IoBitFieldAnd64 (
   If 64-bit I/O port operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Port      The I/O port to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1292,7 +1292,7 @@ MmioAndThenOr8 (
   If 8-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1321,7 +1321,7 @@ MmioBitFieldRead8 (
   If 8-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1356,7 +1356,7 @@ MmioBitFieldWrite8 (
   If 8-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1391,7 +1391,7 @@ MmioBitFieldOr8 (
   If 8-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1427,7 +1427,7 @@ MmioBitFieldAnd8 (
   If 8-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1578,7 +1578,7 @@ MmioAndThenOr16 (
   If 16-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1607,7 +1607,7 @@ MmioBitFieldRead16 (
   If 16-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1642,7 +1642,7 @@ MmioBitFieldWrite16 (
   If 16-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1677,7 +1677,7 @@ MmioBitFieldOr16 (
   If 16-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1713,7 +1713,7 @@ MmioBitFieldAnd16 (
   If 16-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1864,7 +1864,7 @@ MmioAndThenOr32 (
   If 32-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1893,7 +1893,7 @@ MmioBitFieldRead32 (
   If 32-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1928,7 +1928,7 @@ MmioBitFieldWrite32 (
   If 32-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1963,7 +1963,7 @@ MmioBitFieldOr32 (
   If 32-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -1999,7 +1999,7 @@ MmioBitFieldAnd32 (
   If 32-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2150,7 +2150,7 @@ MmioAndThenOr64 (
   If 64-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2179,7 +2179,7 @@ MmioBitFieldRead64 (
   If 64-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2214,7 +2214,7 @@ MmioBitFieldWrite64 (
   If 64-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2249,7 +2249,7 @@ MmioBitFieldOr64 (
   If 64-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -2285,7 +2285,7 @@ MmioBitFieldAnd64 (
   If 64-bit MMIO register operations are not supported, then ASSERT().

   If StartBit is greater than 63, then ASSERT().

   If EndBit is greater than 63, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   MMIO register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

diff --git a/MdePkg/Include/Library/PciCf8Lib.h b/MdePkg/Include/Library/PciCf8Lib.h
index a1023916ba..3898abe7cf 100644
--- a/MdePkg/Include/Library/PciCf8Lib.h
+++ b/MdePkg/Include/Library/PciCf8Lib.h
@@ -182,7 +182,7 @@ PciCf8AndThenOr8 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -213,7 +213,7 @@ PciCf8BitFieldRead8 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -249,7 +249,7 @@ PciCf8BitFieldWrite8 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -285,7 +285,7 @@ PciCf8BitFieldOr8 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -323,7 +323,7 @@ PciCf8BitFieldAnd8 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -496,7 +496,7 @@ PciCf8AndThenOr16 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -528,7 +528,7 @@ PciCf8BitFieldRead16 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -565,7 +565,7 @@ PciCf8BitFieldWrite16 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -602,7 +602,7 @@ PciCf8BitFieldOr16 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -641,7 +641,7 @@ PciCf8BitFieldAnd16 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -814,7 +814,7 @@ PciCf8AndThenOr32 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -846,7 +846,7 @@ PciCf8BitFieldRead32 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -883,7 +883,7 @@ PciCf8BitFieldWrite32 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -920,7 +920,7 @@ PciCf8BitFieldOr32 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -959,7 +959,7 @@ PciCf8BitFieldAnd32 (
   If the register specified by Address >= 0x100, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

diff --git a/MdePkg/Include/Library/PciExpressLib.h b/MdePkg/Include/Library/PciExpressLib.h
index b773e72fd8..3c3fd18987 100644
--- a/MdePkg/Include/Library/PciExpressLib.h
+++ b/MdePkg/Include/Library/PciExpressLib.h
@@ -176,7 +176,7 @@ PciExpressAndThenOr8 (
   If Address > 0x0FFFFFFF, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -206,7 +206,7 @@ PciExpressBitFieldRead8 (
   If Address > 0x0FFFFFFF, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -241,7 +241,7 @@ PciExpressBitFieldWrite8 (
   If Address > 0x0FFFFFFF, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -276,7 +276,7 @@ PciExpressBitFieldOr8 (
   If Address > 0x0FFFFFFF, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -313,7 +313,7 @@ PciExpressBitFieldAnd8 (
   If Address > 0x0FFFFFFF, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -480,7 +480,7 @@ PciExpressAndThenOr16 (
   If Address is not aligned on a 16-bit boundary, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -511,7 +511,7 @@ PciExpressBitFieldRead16 (
   If Address is not aligned on a 16-bit boundary, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -547,7 +547,7 @@ PciExpressBitFieldWrite16 (
   If Address is not aligned on a 16-bit boundary, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -583,7 +583,7 @@ PciExpressBitFieldOr16 (
   If Address is not aligned on a 16-bit boundary, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -621,7 +621,7 @@ PciExpressBitFieldAnd16 (
   If Address is not aligned on a 16-bit boundary, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -788,7 +788,7 @@ PciExpressAndThenOr32 (
   If Address is not aligned on a 32-bit boundary, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -819,7 +819,7 @@ PciExpressBitFieldRead32 (
   If Address is not aligned on a 32-bit boundary, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -855,7 +855,7 @@ PciExpressBitFieldWrite32 (
   If Address is not aligned on a 32-bit boundary, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -891,7 +891,7 @@ PciExpressBitFieldOr32 (
   If Address is not aligned on a 32-bit boundary, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -929,7 +929,7 @@ PciExpressBitFieldAnd32 (
   If Address is not aligned on a 32-bit boundary, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

diff --git a/MdePkg/Include/Library/PciLib.h b/MdePkg/Include/Library/PciLib.h
index 55edf4082f..a80ceae97d 100644
--- a/MdePkg/Include/Library/PciLib.h
+++ b/MdePkg/Include/Library/PciLib.h
@@ -171,7 +171,7 @@ PciAndThenOr8 (
   If Address > 0x0FFFFFFF, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -201,7 +201,7 @@ PciBitFieldRead8 (
   If Address > 0x0FFFFFFF, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -236,7 +236,7 @@ PciBitFieldWrite8 (
   If Address > 0x0FFFFFFF, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -271,7 +271,7 @@ PciBitFieldOr8 (
   If Address > 0x0FFFFFFF, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -308,7 +308,7 @@ PciBitFieldAnd8 (
   If Address > 0x0FFFFFFF, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -475,7 +475,7 @@ PciAndThenOr16 (
   If Address is not aligned on a 16-bit boundary, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -506,7 +506,7 @@ PciBitFieldRead16 (
   If Address is not aligned on a 16-bit boundary, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -542,7 +542,7 @@ PciBitFieldWrite16 (
   If Address is not aligned on a 16-bit boundary, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -578,7 +578,7 @@ PciBitFieldOr16 (
   If Address is not aligned on a 16-bit boundary, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -616,7 +616,7 @@ PciBitFieldAnd16 (
   If Address is not aligned on a 16-bit boundary, then ASSERT().

   If StartBit is greater than 15, then ASSERT().

   If EndBit is greater than 15, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -783,7 +783,7 @@ PciAndThenOr32 (
   If Address is not aligned on a 32-bit boundary, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to read.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -814,7 +814,7 @@ PciBitFieldRead32 (
   If Address is not aligned on a 32-bit boundary, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -850,7 +850,7 @@ PciBitFieldWrite32 (
   If Address is not aligned on a 32-bit boundary, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -886,7 +886,7 @@ PciBitFieldOr32 (
   If Address is not aligned on a 32-bit boundary, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -924,7 +924,7 @@ PciBitFieldAnd32 (
   If Address is not aligned on a 32-bit boundary, then ASSERT().

   If StartBit is greater than 31, then ASSERT().

   If EndBit is greater than 31, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   PCI configuration register to write.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

diff --git a/MdePkg/Include/Library/PciSegmentLib.h b/MdePkg/Include/Library/PciSegmentLib.h
index eaca938762..570ae0db1a 100644
--- a/MdePkg/Include/Library/PciSegmentLib.h
+++ b/MdePkg/Include/Library/PciSegmentLib.h
@@ -168,7 +168,7 @@ PciSegmentAndThenOr8 (
   If any reserved bits in Address are set, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   Address that encodes the PCI Segment, Bus, Device, Function, and Register.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -198,7 +198,7 @@ PciSegmentBitFieldRead8 (
   If any reserved bits in Address are set, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   Address that encodes the PCI Segment, Bus, Device, Function, and Register.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -258,7 +258,7 @@ PciSegmentBitFieldOr8 (
   If any reserved bits in Address are set, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   Address that encodes the PCI Segment, Bus, Device, Function, and Register.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -293,7 +293,7 @@ PciSegmentBitFieldAnd8 (
   If any reserved bits in Address are set, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   Address that encodes the PCI Segment, Bus, Device, Function, and Register.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -442,7 +442,7 @@ PciSegmentAndThenOr16 (
   If any reserved bits in Address are set, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   Address that encodes the PCI Segment, Bus, Device, Function, and Register.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -472,7 +472,7 @@ PciSegmentBitFieldRead16 (
   If any reserved bits in Address are set, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   Address that encodes the PCI Segment, Bus, Device, Function, and Register.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -532,7 +532,7 @@ PciSegmentBitFieldOr16 (
   If any reserved bits in Address are set, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   Address that encodes the PCI Segment, Bus, Device, Function, and Register.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -567,7 +567,7 @@ PciSegmentBitFieldAnd16 (
   If any reserved bits in Address are set, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   Address that encodes the PCI Segment, Bus, Device, Function, and Register.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -716,7 +716,7 @@ PciSegmentAndThenOr32 (
   If any reserved bits in Address are set, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   Address that encodes the PCI Segment, Bus, Device, Function, and Register.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -746,7 +746,7 @@ PciSegmentBitFieldRead32 (
   If any reserved bits in Address are set, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   Address that encodes the PCI Segment, Bus, Device, Function, and Register.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -806,7 +806,7 @@ PciSegmentBitFieldOr32 (
   If any reserved bits in Address are set, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   Address that encodes the PCI Segment, Bus, Device, Function, and Register.

   @param  StartBit  The ordinal of the least significant bit in the bit field.

@@ -841,7 +841,7 @@ PciSegmentBitFieldAnd32 (
   If any reserved bits in Address are set, then ASSERT().

   If StartBit is greater than 7, then ASSERT().

   If EndBit is greater than 7, then ASSERT().

-  If EndBit is less than or equal to StartBit, then ASSERT().

+  If EndBit is less than StartBit, then ASSERT().

 

   @param  Address   Address that encodes the PCI Segment, Bus, Device, Function, and Register.

   @param  StartBit  The ordinal of the least significant bit in the bit field.