src/boot/efi/random-seed.h

   1 /* SPDX-License-Identifier: LGPL-2.1-or-later */
   2 #pragma once
   3
   4 #include <efi.h>
   5 #include <errno.h>
   6
   7 typedef enum RandomSeedMode {
   8         RANDOM_SEED_OFF,
   9         RANDOM_SEED_WITH_SYSTEM_TOKEN,
  10         RANDOM_SEED_ALWAYS,
  11         _RANDOM_SEED_MODE_MAX,
  12         _RANDOM_SEED_MODE_INVALID = -EINVAL,
  13 } RandomSeedMode;
  14
  15 EFI_STATUS process_random_seed(EFI_FILE *root_dir, RandomSeedMode mode);