1 /*- 2 * SPDX-License-Identifier: BSD-2-Clause-FreeBSD 3 * 4 * Copyright (c) 2022 Beckhoff Automation GmbH & Co. KG 5 * Author: Corvin Köhne <c.koehne@beckhoff.com> 6 */ 7 8 #pragma once 9 10 #include "config.h" 11 12 struct tpm_ppi { 13 const char *name; 14 15 int (*init)(void **sc); 16 void (*deinit)(void *sc); 17 int (*write_dsdt_regions)(void *sc); 18 int (*write_dsdt_dsm)(void *sc); 19 }; 20 #define TPM_PPI_SET(x) DATA_SET(tpm_ppi_set, x) 21