CONFIG_DISABLE_VHPT  348 arch/ia64/kernel/ivt.S #ifdef CONFIG_DISABLE_VHPT
CONFIG_DISABLE_VHPT  388 arch/ia64/kernel/ivt.S #ifdef CONFIG_DISABLE_VHPT
CONFIG_DISABLE_VHPT  307 arch/ia64/mm/init.c #ifdef CONFIG_DISABLE_VHPT