Symbol: PLATID_MACH_VADEM
sys/arch/hpc/hpc/platid_mask.c
726
PLATID_MACH_VADEM
sys/arch/hpc/include/platid_generated.h
1115
PLATID_MACH_VADEM)