dprintk_tscheck   456 drivers/media/dvb-core/dvb_demux.c 		dprintk_tscheck("TEI detected. PID=0x%x data1=0x%x\n",
dprintk_tscheck   478 drivers/media/dvb-core/dvb_demux.c 					dprintk_tscheck("TS packet counter mismatch. PID=0x%x expected 0x%x got 0x%x\n",