is_itpm            78 drivers/char/tpm/tpm_tis.c static inline int is_itpm(struct acpi_device *dev)
is_itpm            85 drivers/char/tpm/tpm_tis.c static inline int is_itpm(struct acpi_device *dev)