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