tpm_short         212 drivers/char/tpm/tpm.h 	__be32	tpm_short;
tpm_short         423 drivers/char/tpm/tpm1-cmd.c 		usecs_to_jiffies(be32_to_cpu(cap.duration.tpm_short));