Symbol: apbt_enable_int
drivers/clocksource/dw_apb_timer.c
181
apbt_enable_int(&dw_ced->timer);
drivers/clocksource/dw_apb_timer.c
276
apbt_enable_int(&dw_ced->timer);