/* Sets CPU feature bit mask in CPU feature bit mask buffer. */
VOID SetCpuFeaturesBitMask(IN UINT8 **FeaturesBitMask, IN UINT32 Feature, IN UINTN BitMaskSize)
/* Sets CPU feature bit mask in CPU feature bit mask buffer. */
VOID SetCpuFeaturesBitMask(IN UINT8 **FeaturesBitMask, IN UINT32 Feature, IN UINTN BitMaskSize)
{
  UINT8  *CpuFeaturesBitMask;
  ASSERT (FeaturesBitMask != NULL);
  CpuFeaturesBitMask = *FeaturesBitMask;
  if (CpuFeaturesBitMask == NULL) {
    CpuFeaturesBitMask = AllocateZeroPool (BitMaskSize);
    ASSERT (CpuFeaturesBitMask != NULL);
    *FeaturesBitMask = CpuFeaturesBitMask;
  }
  CpuFeaturesBitMask  += (Feature / 8);
  *CpuFeaturesBitMask |= (UINT8)(1 << (Feature % 8));
}