CX25840_IR_TXCLK_REG
txclk = cx25840_read4(c, CX25840_IR_TXCLK_REG) & TXCLK_TCD;
cx25840_write4(c, CX25840_IR_TXCLK_REG, *divider);
cx25840_write4(c, CX25840_IR_TXCLK_REG, *divider);
cx25840_write4(c, CX25840_IR_TXCLK_REG, TXCLK_TCD);