wProductType      326 ext/standard/info.c 				if( osvi.wProductType == VER_NT_WORKSTATION ) {
wProductType      336 ext/standard/info.c 				if( osvi.wProductType == VER_NT_WORKSTATION ) {
wProductType      343 ext/standard/info.c 				if( osvi.wProductType == VER_NT_WORKSTATION )  {
wProductType      368 ext/standard/info.c 					if( osvi.wProductType == VER_NT_WORKSTATION )  {
wProductType      374 ext/standard/info.c 					if( osvi.wProductType == VER_NT_WORKSTATION )  {
wProductType      381 ext/standard/info.c 				if( osvi.wProductType == VER_NT_WORKSTATION )  {
wProductType      644 ext/standard/info.c 			else if (osvi.wProductType == VER_NT_WORKSTATION &&
wProductType      652 ext/standard/info.c 			if ( osvi.wProductType != VER_NT_WORKSTATION ) {
wProductType      698 ext/standard/info.c 			if (osvi.wProductType == VER_NT_WORKSTATION ) {
wProductType      143 ext/standard/winver.h     BYTE  wProductType;
wProductType     2258 main/main.c    	REGISTER_MAIN_LONG_CONSTANT("PHP_WINDOWS_VERSION_PRODUCTTYPE", EG(windows_version_info).wProductType, CONST_PERSISTENT | CONST_CS);