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