CONFIG_HYPERV_TIMER   54 arch/x86/include/asm/vdso/gettimeofday.h #ifdef CONFIG_HYPERV_TIMER
CONFIG_HYPERV_TIMER  231 arch/x86/include/asm/vdso/gettimeofday.h #ifdef CONFIG_HYPERV_TIMER
CONFIG_HYPERV_TIMER  254 arch/x86/include/asm/vdso/gettimeofday.h #ifdef CONFIG_HYPERV_TIMER
CONFIG_HYPERV_TIMER   31 include/clocksource/hyperv_timer.h #ifdef CONFIG_HYPERV_TIMER