/* Clear a bit in the reserved memory bitmap in a thread safe manner */
STATIC VOID ClearReservedMemBit(IN UINT32 ReservedMemBit)
/* Clear a bit in the reserved memory bitmap in a thread safe manner */
STATIC VOID ClearReservedMemBit(IN UINT32 ReservedMemBit)
{
  UINT32  ReservedMemBitmap;
  do {
    ReservedMemBitmap = mReservedMemBitmap;
  } while (ReservedMemBitmap != InterlockedCompareExchange32 (
                                  &mReservedMemBitmap,
                                  ReservedMemBitmap,
                                  ReservedMemBitmap & ~ReservedMemBit
                                  ));
}