TIMER_CTRL_DIV16   35 drivers/clocksource/timer-integrator-ap.c 		ctrl |= TIMER_CTRL_DIV16;
TIMER_CTRL_DIV16  147 drivers/clocksource/timer-integrator-ap.c 		ctrl |= TIMER_CTRL_DIV16;