Symbol: tpm_device_destroy
usr.sbin/bhyve/tpm_device.c
231
tpm_device_destroy(dev);
usr.sbin/bhyve/tpm_device.h
18
void tpm_device_destroy(struct tpm_device *dev);