static inline void tpm_write_index(int index, int value)
static inline void tpm_write_index(int base, int index, int value)
static inline void tpm_write_index(int index, int value){	outb(index, TPM_ADDR);	outb(value & 0xFF, TPM_DATA);}