Symbol: PLATID_CPU_MIPS_VR_4131
sys/arch/hpc/hpc/platid_mask.c
273
PLATID_CPU_MIPS_VR_4131,
sys/arch/hpc/hpc/platid_mask.c
75
PLATID_CPU_MIPS_VR_4131,
sys/arch/hpc/stand/hpcboot/machine_config.cpp
87
{ PLATID_CPU_MIPS_VR_4131, PLATID_MACH_NEC_MCR_SIGMARION2 , 16, 640, 240, 1280, 0xb0800000 },