/* If the pointer to the HOB list is NULL, then ASSERT(). */
VOID* EFIAPI GetHobList(VOID)
/* If the pointer to the HOB list is NULL, then ASSERT(). */
VOID* EFIAPI GetHobList(VOID)
{
  ASSERT (mHobList != NULL);
  return mHobList;
}