php_get_windows_cpu  793 ext/standard/info.c 		php_get_windows_cpu(tmp_uname, sizeof(tmp_uname));
php_get_windows_cpu  799 ext/standard/info.c 		php_get_windows_cpu(wincpu, sizeof(wincpu));