CONFIG_HIGH_RES_TIMERS 33 drivers/iio/adc/ep93xx_adc.c #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 222 include/linux/hrtimer.h #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 311 include/linux/hrtimer.h return IS_ENABLED(CONFIG_HIGH_RES_TIMERS) ? CONFIG_HIGH_RES_TIMERS 315 include/linux/hrtimer.h #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 7 include/linux/hrtimer_defs.h #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 613 kernel/time/hrtimer.c return IS_ENABLED(CONFIG_HIGH_RES_TIMERS) ? CONFIG_HIGH_RES_TIMERS 679 kernel/time/hrtimer.c #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 870 kernel/time/hrtimer.c #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 1605 kernel/time/hrtimer.c #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 385 kernel/time/posix-timers.c #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 110 kernel/time/tick-common.c #if defined(CONFIG_HIGH_RES_TIMERS) || defined(CONFIG_NO_HZ_COMMON) CONFIG_HIGH_RES_TIMERS 118 kernel/time/tick-oneshot.c #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 45 kernel/time/tick-sched.c #if defined(CONFIG_NO_HZ_COMMON) || defined(CONFIG_HIGH_RES_TIMERS) CONFIG_HIGH_RES_TIMERS 1284 kernel/time/tick-sched.c #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 1357 kernel/time/tick-sched.c #if defined CONFIG_NO_HZ_COMMON || defined CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 1362 kernel/time/tick-sched.c # ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 85 kernel/time/tick-sched.h #if defined CONFIG_NO_HZ_COMMON || defined CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 122 kernel/time/timer_list.c #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 147 kernel/time/timer_list.c #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 54 sound/drivers/dummy.c #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 75 sound/drivers/dummy.c #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 352 sound/drivers/dummy.c #ifdef CONFIG_HIGH_RES_TIMERS CONFIG_HIGH_RES_TIMERS 552 sound/drivers/dummy.c #ifdef CONFIG_HIGH_RES_TIMERS