1/*-
2 * SPDX-License-Identifier: BSD-2-Clause
3 *
4 * Copyright (c) 2023 Beckhoff Automation GmbH & Co. KG
5 * Author: Corvin K��hne <corvink@FreeBSD.org>
6 */
7
8#pragma once
9
10#include <vmmapi.h>
11
12#include "config.h"
13
14struct tpm_device;
15
16int tpm_device_create(struct tpm_device **new_dev, struct vmctx *vm_ctx,
17    nvlist_t *nvl);
18void tpm_device_destroy(struct tpm_device *dev);
19
20int init_tpm(struct vmctx *ctx);
21