wincpu            797 ext/standard/info.c 		char wincpu[20];
wincpu            799 ext/standard/info.c 		php_get_windows_cpu(wincpu, sizeof(wincpu));
wincpu            811 ext/standard/info.c 				 dwWindowsMajorVersion, dwWindowsMinorVersion, dwBuild, winver?winver:"unknown", wincpu);