amd64_supported    24 arch/i386/stand/libsa/cpuprobe.c int amd64_supported;
amd64_supported   113 arch/i386/stand/libsa/cpuprobe.c 				amd64_supported = 1;
amd64_supported   131 arch/i386/stand/libsa/cpuprobe.c 	printf("%s", amd64_supported ? " amd64" : " i386");