enc_buf_id_new    373 drivers/media/pci/tw5864/tw5864-video.c 	u32 enc_buf_id_new;
enc_buf_id_new    403 drivers/media/pci/tw5864/tw5864-video.c 	enc_buf_id_new = tw_mask_shift_readl(TW5864_ENC_BUF_PTR_REC1, 0x3,
enc_buf_id_new    406 drivers/media/pci/tw5864/tw5864-video.c 		  enc_buf_id_new << TW5864_DSP_ENC_ORG_PTR_SHIFT);
enc_buf_id_new    408 drivers/media/pci/tw5864/tw5864-video.c 		  enc_buf_id_new << 12 | ((enc_buf_id_new + 3) & 3));