/* This function gets the FSP info header pointer. */
FSP_INFO_HEADER* EFIAPI GetFspInfoHeader(VOID)
/* This function gets the FSP info header pointer. */
FSP_INFO_HEADER* EFIAPI GetFspInfoHeader(VOID)
{
  return GetFspGlobalDataPointer ()->FspInfoHeader;
}