/* The ValidBitmap area represents the areas of the GHCB that have been marked valid. Set the bit in ValidBitmap for the input offset. */
VOID EFIAPI CcExitVmgSetOffsetValid(IN OUT GHCB *Ghcb, IN GHCB_REGISTER Offset)
/* The ValidBitmap area represents the areas of the GHCB that have been marked valid. Set the bit in ValidBitmap for the input offset. */
VOID EFIAPI CcExitVmgSetOffsetValid(IN OUT GHCB *Ghcb, IN GHCB_REGISTER Offset)
{
  UINT32  OffsetIndex;
  UINT32  OffsetBit;
  OffsetIndex = Offset / 8;
  OffsetBit   = Offset % 8;
  Ghcb->SaveArea.ValidBitmap[OffsetIndex] |= (1 << OffsetBit);
}