tpm_num           575 drivers/char/tpm/tpm_vtpm_proxy.c 	vtpm_new_dev->tpm_num = proxy_dev->chip->dev_num;
tpm_num            42 include/uapi/linux/vtpm_proxy.h 	__u32 tpm_num;       /* output */