Symbol: pxa_timer_resume
drivers/clocksource/timer-pxa.c
112
static void pxa_timer_resume(struct clock_event_device *cedev)
drivers/clocksource/timer-pxa.c
132
#define pxa_timer_resume NULL