CX23888_IR_TXCLK_REG
cx23888_ir_write4(dev, CX23888_IR_TXCLK_REG, *divider);
cx23888_ir_write4(dev, CX23888_IR_TXCLK_REG, *divider);
cx23888_ir_write4(dev, CX23888_IR_TXCLK_REG, TXCLK_TCD);
u32 txclk = cx23888_ir_read4(dev, CX23888_IR_TXCLK_REG) & TXCLK_TCD;