TW5864_DSP        125 drivers/media/pci/tw5864/tw5864-core.c 	int channel = tw_readl(TW5864_DSP) & TW5864_DSP_ENC_CHN;
TW5864_DSP        378 drivers/media/pci/tw5864/tw5864-video.c 	tw_writel(TW5864_DSP, input->reg_dsp);