difint_clip       751 drivers/media/dvb-frontends/cxd2880/cxd2880_tnrdmd_dvbt2.c 	static const u8 difint_clip[] = {
difint_clip       768 drivers/media/dvb-frontends/cxd2880/cxd2880_tnrdmd_dvbt2.c 					      0x47, difint_clip, 12);