/* Free an EFI_BOOT_MANGER_LOAD_OPTION array that was allocated by  */
EFI_STATUS EFIAPI EfiBootManagerFreeLoadOptions(IN EFI_BOOT_MANAGER_LOAD_OPTION *Option, IN UINTN OptionCount)
/* Free an EFI_BOOT_MANGER_LOAD_OPTION array that was allocated by  */
EFI_STATUS EFIAPI EfiBootManagerFreeLoadOptions(IN EFI_BOOT_MANAGER_LOAD_OPTION *Option, IN UINTN OptionCount)
{
  UINTN  Index;
  if (Option == NULL) {
    return EFI_NOT_FOUND;
  }
  for (Index = 0; Index < OptionCount; Index++) {
    EfiBootManagerFreeLoadOption (&Option[Index]);
  }
  FreePool (Option);
  return EFI_SUCCESS;
}