usr.sbin/bhyve/tpm_ppi.h

   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)