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