/* This function also caches the pointer to the HOB list retrieved. */
VOID* EFIAPI GetHobList(VOID)
/* This function also caches the pointer to the HOB list retrieved. */
VOID* EFIAPI GetHobList(VOID)
{
  EFI_STATUS  Status;
  if (mHobList == NULL) {
    Status = EfiGetSystemConfigurationTable (&gEfiHobListGuid, &mHobList);
    ASSERT_EFI_ERROR (Status);
    ASSERT (mHobList != NULL);
  }
  return mHobList;
}