trace_rtc_timer_dequeue  822 drivers/rtc/interface.c 			trace_rtc_timer_dequeue(timer);
trace_rtc_timer_dequeue  856 drivers/rtc/interface.c 	trace_rtc_timer_dequeue(timer);
trace_rtc_timer_dequeue  908 drivers/rtc/interface.c 		trace_rtc_timer_dequeue(timer);
trace_rtc_timer_dequeue  942 drivers/rtc/interface.c 			trace_rtc_timer_dequeue(timer);