2 * SPDX-License-Identifier: BSD-2-Clause
4 * Copyright (c) 2023 Beckhoff Automation GmbH & Co. KG
5 * Author: Corvin Köhne <corvink@FreeBSD.org>
16 int tpm_device_create(struct tpm_device **new_dev, struct vmctx *vm_ctx,
18 void tpm_device_destroy(struct tpm_device *dev);