src/drivers/tpm/tpm.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <acpi/acpi.h>
   4 #include <bootstate.h>
   5 #include <security/tpm/tspi.h>
   6
   7 static void init_tpm_dev(void *unused)
   8 {
   9         int s3resume = acpi_is_wakeup_s3();
  10         tpm_setup(s3resume);
  11 }
  12
  13 BOOT_STATE_INIT_ENTRY(BS_DEV_INIT, BS_ON_EXIT, init_tpm_dev, NULL);