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 init_tpm_dev(void * unused)7static 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); 14