TIMER_CTRL_ENABLE   24 drivers/clocksource/mps2-timer.c #define TIMER_CTRL_ENABLE	BIT(0)
TIMER_CTRL_ENABLE   26 drivers/clocksource/timer-sp.h #define TIMER_CTRL_ENABLE	(1 << 7)	/* ACVR */