xref: /freebsd/usr.sbin/bhyve/tpm_ppi.h (revision da5432eda807c4b7232d030d5157d5b417ea4f52)
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