Defined in 1 files as a config:

• arch/x86/Kconfig, line 839 (as a config)

Referenced in 4 files:

• arch/x86/Kconfig, line 842
• arch/x86/kernel/head_64.S, line 485
• arch/x86/platform/pvh/Makefile
  • line 4
  • line 5
• arch/x86/xen/Kconfig
  • line 85
  • line 88