owl_timer_set_enabled   63 drivers/clocksource/timer-owl.c 	owl_timer_set_enabled(owl_clkevt_base, false);
owl_timer_set_enabled   85 drivers/clocksource/timer-owl.c 	owl_timer_set_enabled(base, false);
owl_timer_set_enabled   89 drivers/clocksource/timer-owl.c 	owl_timer_set_enabled(base, true);
owl_timer_set_enabled  144 drivers/clocksource/timer-owl.c 	owl_timer_set_enabled(owl_clksrc_base, true);