CONFIG_HIGH_RES_TIMERS  186 include/linux/hrtimer.h #ifdef CONFIG_HIGH_RES_TIMERS
CONFIG_HIGH_RES_TIMERS  263 include/linux/hrtimer.h #ifdef CONFIG_HIGH_RES_TIMERS
CONFIG_HIGH_RES_TIMERS   82 include/linux/tick.h # ifdef CONFIG_HIGH_RES_TIMERS
CONFIG_HIGH_RES_TIMERS   88 include/linux/tick.h # if defined CONFIG_NO_HZ_COMMON || defined CONFIG_HIGH_RES_TIMERS