dib7000p_get_time_us 1953 drivers/media/dvb-frontends/dib7000p.c 			time_us = dib7000p_get_time_us(demod);
dib7000p_get_time_us 1967 drivers/media/dvb-frontends/dib7000p.c 		time_us = dib7000p_get_time_us(demod);
dib7000p_get_time_us 1987 drivers/media/dvb-frontends/dib7000p.c 		time_us = dib7000p_get_time_us(demod);