TXCLK_TCD
txclk = cx25840_read4(c, CX25840_IR_TXCLK_REG) & TXCLK_TCD;
cx25840_write4(c, CX25840_IR_TXCLK_REG, TXCLK_TCD);
cx23888_ir_write4(dev, CX23888_IR_TXCLK_REG, TXCLK_TCD);
u32 txclk = cx23888_ir_read4(dev, CX23888_IR_TXCLK_REG) & TXCLK_TCD;