wProcessorLevel   727 ext/standard/info.c 			snprintf(buf, bufsize, "MIPS R%d000", SysInfo.wProcessorLevel);
wProcessorLevel   730 ext/standard/info.c 			snprintf(buf, bufsize, "Alpha %d", SysInfo.wProcessorLevel);
wProcessorLevel   733 ext/standard/info.c 			snprintf(buf, bufsize, "PPC 6%02d", SysInfo.wProcessorLevel);