/* If the pointer to the HOB list is NULL, then ASSERT(). */
EFI_BOOT_MODE EFIAPI GetBootModeHob(VOID)
/* If the pointer to the HOB list is NULL, then ASSERT(). */
EFI_BOOT_MODE EFIAPI GetBootModeHob(VOID)
{
  ASSERT (FALSE);
  return MAX_UINT32;
}