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));