drivers/ipmi/ocp: Add missing include
[coreboot.git] / src / drivers / tpm / tpm.c
blob3b582c84abb9d2eecebbe514e553a1f3b633eddf
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <acpi/acpi.h>
4 #include <bootstate.h>
5 #include <security/tpm/tspi.h>
7 static void init_tpm_dev(void *unused)
9 int s3resume = acpi_is_wakeup_s3();
10 tpm_setup(s3resume);
13 BOOT_STATE_INIT_ENTRY(BS_DEV_INIT, BS_ON_EXIT, init_tpm_dev, NULL);