APBTMR_N_EOI       92 drivers/clocksource/dw_apb_timer.c 	apbt_readl_relaxed(timer, APBTMR_N_EOI);
APBTMR_N_EOI      116 drivers/clocksource/dw_apb_timer.c 	apbt_readl(timer, APBTMR_N_EOI);