void TWI_WriteByte(AT91S_TWI *pTwi, unsigned char byte) { SANITY_CHECK(pTwi); pTwi->TWI_THR = byte; }