set_memory_4k     429 arch/x86/kernel/cpu/amd.c 			set_memory_4k((unsigned long)__va(tseg), 1);
set_memory_4k      32 arch/x86/kernel/cpu/bugs_64.c 		set_memory_4k((unsigned long)__va(0), 1);