static void init_tpm_dev(void *unused)
{
#if IS_ENABLED(CONFIG_HAVE_ACPI_RESUME)
int s3resume = acpi_is_wakeup_s3();
tpm_setup(s3resume);
#else
/* This can lead to PCR reset attacks but currently there
is no generic way to detect resume on other platforms. */
tpm_setup(false);
#endif
}
static void
platform_hardware_setup(void)
{
// Make sure legacy DMA isn't running.
dma_setup();
// Init base pc hardware.
pic_setup();
thread_setup();
mathcp_setup();
// Platform specific setup
qemu_platform_setup();
coreboot_platform_setup();
// Setup timers and periodic clock interrupt
timer_setup();
clock_setup();
// Initialize TPM
tpm_setup();
}
