diff --git a/usr.sbin/bhyve/tpm_device.c b/usr.sbin/bhyve/tpm_device.c
index 56df6ab0e30c..e48f9df14701 100644
--- a/usr.sbin/bhyve/tpm_device.c
+++ b/usr.sbin/bhyve/tpm_device.c
@@ -1,84 +1,86 @@
 /*-
  * SPDX-License-Identifier: BSD-2-Clause
  *
  * Copyright (c) 2023 Beckhoff Automation GmbH & Co. KG
  * Author: Corvin Köhne <corvink@FreeBSD.org>
  */
 
 #include <sys/types.h>
 
+#include <assert.h>
 #include <err.h>
 #include <errno.h>
 #include <stdlib.h>
 #include <string.h>
 #include <vmmapi.h>
 
 #include "acpi_device.h"
 #include "config.h"
 #include "tpm_device.h"
 
 #define TPM_ACPI_DEVICE_NAME "TPM"
 #define TPM_ACPI_HARDWARE_ID "MSFT0101"
 
 struct tpm_device {
 	struct vmctx *vm_ctx;
 	struct acpi_device *acpi_dev;
 };
 
 static const struct acpi_device_emul tpm_acpi_device_emul = {
 	.name = TPM_ACPI_DEVICE_NAME,
 	.hid = TPM_ACPI_HARDWARE_ID,
 };
 
 void
 tpm_device_destroy(struct tpm_device *const dev)
 {
 	if (dev == NULL)
 		return;
 
 	acpi_device_destroy(dev->acpi_dev);
 	free(dev);
 }
 
 int
 tpm_device_create(struct tpm_device **const new_dev, struct vmctx *const vm_ctx,
     nvlist_t *const nvl)
 {
 	struct tpm_device *dev = NULL;
 	const char *value;
 	int error;
 
 	if (new_dev == NULL || vm_ctx == NULL) {
 		error = EINVAL;
 		goto err_out;
 	}
 
 	value = get_config_value_node(nvl, "version");
-	if (value == NULL || strcmp(value, "2.0")) {
+	assert(value != NULL);
+	if (strcmp(value, "2.0")) {
 		warnx("%s: unsupported tpm version %s", __func__, value);
 		error = EINVAL;
 		goto err_out;
 	}
 
 	dev = calloc(1, sizeof(*dev));
 	if (dev == NULL) {
 		error = ENOMEM;
 		goto err_out;
 	}
 
 	dev->vm_ctx = vm_ctx;
 
 	error = acpi_device_create(&dev->acpi_dev, dev, dev->vm_ctx,
 	    &tpm_acpi_device_emul);
 	if (error)
 		goto err_out;
 
 	*new_dev = dev;
 
 	return (0);
 
 err_out:
 	tpm_device_destroy(dev);
 
 	return (error);
 }