waketime          833 drivers/media/dvb-core/dvb_frontend.c void dvb_frontend_sleep_until(ktime_t *waketime, u32 add_usec)
waketime          837 drivers/media/dvb-core/dvb_frontend.c 	*waketime = ktime_add_us(*waketime, add_usec);
waketime          838 drivers/media/dvb-core/dvb_frontend.c 	delta = ktime_us_delta(ktime_get_boottime(), *waketime);
waketime          841 drivers/media/dvb-core/dvb_frontend.c 		delta = ktime_us_delta(ktime_get_boottime(), *waketime);
waketime          823 include/media/dvb_frontend.h void dvb_frontend_sleep_until(ktime_t *waketime, u32 add_usec);