PLATID_CPU_MODEL_MASK
if (pid.dw.dw0 != PLATID_CPU_MODEL_MASK && err_count++ || verbose) {
printf("%14s: %08lx00000000\n", "", PLATID_CPU_MODEL_MASK);