apbt_enable_int   200 drivers/clocksource/dw_apb_timer.c 	apbt_enable_int(&dw_ced->timer);
apbt_enable_int   320 drivers/clocksource/dw_apb_timer.c 	apbt_enable_int(&dw_ced->timer);