Lines Matching defs:vmType
1871 int vmType;
1896 vmType = VM_UNKNOWN;
1921 vmType = VM_KNOWN;
1935 vmType = VM_ALIASED_TO;
1938 vmType = VM_WARN;
1940 vmType = VM_IGNORE;
1942 vmType = VM_ERROR;
1958 vmType = VM_IF_SERVER_CLASS;
1963 vmType = VM_KNOWN;
1970 if (vmType != VM_UNKNOWN) {
1972 knownVMs[cnt].flag = vmType;
1973 switch (vmType) {
1979 printf(" name: %s vmType: %s alias: %s\n",
1986 printf(" name: %s vmType: %s server_class: %s\n",