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