Symbol: tpm_device_destroy
usr/src/cmd/bhyve/common/tpm_device.c
235
tpm_device_destroy(dev);
usr/src/cmd/bhyve/common/tpm_device.h
18
void tpm_device_destroy(struct tpm_device *dev);