TW5864_ENC_BUF_PTR_REC1  230 drivers/media/pci/tw5864/tw5864-core.c 			tw_mask_shift_writel(TW5864_ENC_BUF_PTR_REC1, 0x3,
TW5864_ENC_BUF_PTR_REC1  403 drivers/media/pci/tw5864/tw5864-video.c 	enc_buf_id_new = tw_mask_shift_readl(TW5864_ENC_BUF_PTR_REC1, 0x3,
TW5864_ENC_BUF_PTR_REC1 1048 drivers/media/pci/tw5864/tw5864-video.c 	tw_writel(TW5864_ENC_BUF_PTR_REC1, 0x00ff);