static inline int tpm_read_index(int index) 
static inline int tpm_read_index(int base, int index) 
static inline int tpm_read_index(int index){	outb(index, TPM_ADDR);	return inb(TPM_DATA) & 0xFF;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/daacdfa6e7d6e57c5d1b8e72b1c863feb53d8a82/tpm.h/clean/drivers/char/tpm/tpm.h