Defined in 1 files as a config:

• drivers/hv/Kconfig, line 14 (as a config)

Referenced in 3 files:

• arch/x86/include/asm/vdso/gettimeofday.h
  • line 55
  • line 238
  • line 262
• drivers/clocksource/Makefile, line 89
• include/clocksource/hyperv_timer.h, line 31