Symbol: PLATID_CPU_SERIES_MASK
sys/arch/hpc/hpc/platid_test.c
57
if (pid.dw.dw0 != PLATID_CPU_SERIES_MASK && err_count++ || verbose) {
sys/arch/hpc/hpc/platid_test.c
60
printf("%14s: %08lx00000000\n", "", PLATID_CPU_SERIES_MASK);