ppro_with_ram_bug   16 arch/x86/include/asm/bugs.h int ppro_with_ram_bug(void);
ppro_with_ram_bug 1049 arch/x86/kernel/setup.c 	if (ppro_with_ram_bug()) {