VHPT_ENABLE_BIT   308 arch/ia64/mm/init.c #	define VHPT_ENABLE_BIT	0
VHPT_ENABLE_BIT   310 arch/ia64/mm/init.c #	define VHPT_ENABLE_BIT	1