PLATID_VENDOR_MASK
if (pid.dw.dw1 != PLATID_VENDOR_MASK && err_count++ || verbose) {
printf("%14s: 00000000%08lx\n", "", PLATID_VENDOR_MASK);