tag	line	file	source code
HIGH_MEMORY	13	include/linux/config.h	#define HIGH_MEMORY (0x800000)
HIGH_MEMORY	15	include/linux/config.h	#define HIGH_MEMORY (0x400000)