}
module_init(init_tis);
+diff --git a/include/linux/tpm.h b/include/linux/tpm.h
+new file mode 100644
+index 0000000..3338b3f
+--- /dev/null
++++ b/include/linux/tpm.h
+@@ -0,0 +1,35 @@
++/*
++ * Copyright (C) 2004,2007,2008 IBM Corporation
++ *
++ * Authors:
++ * Leendert van Doorn <leendert@watson.ibm.com>
++ * Dave Safford <safford@watson.ibm.com>
++ * Reiner Sailer <sailer@watson.ibm.com>
++ * Kylene Hall <kjhall@us.ibm.com>
++ * Debora Velarde <dvelarde@us.ibm.com>
++ *
++ * Maintained by: <tpmdd_devel@lists.sourceforge.net>
++ *
++ * Device driver for TCG/TCPA TPM (trusted platform module).
++ * Specifications at www.trustedcomputinggroup.org
++ *
++ * This program is free software; you can redistribute it and/or
++ * modify it under the terms of the GNU General Public License as
++ * published by the Free Software Foundation, version 2 of the
++ * License.
++ *
++ */
++#ifndef __LINUX_TPM_H__
++#define __LINUX_TPM_H__
++
++/*
++ * Chip num is this value or a valid tpm idx
++ */
++#define TPM_ANY_NUM 0xFFFF
++
++#if defined(CONFIG_TCG_TPM)
++
++extern int tpm_pcr_read(u32 chip_num, int pcr_idx, u8 *res_buf);
++extern int tpm_pcr_extend(u32 chip_num, int pcr_idx, const u8 *hash);
++#endif
++#endif