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
12struct 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