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);