Symbol: PLATID_CPU_MIPS_TX_3920
sys/arch/hpc/hpc/platid_mask.c
99
PLATID_CPU_MIPS_TX_3920,
sys/arch/hpc/include/platid_generated.h
102
PLATID_CPU_MIPS_TX_3920)
sys/arch/hpc/include/platid_generated.h
106
PLATID_CPU_MIPS_TX_3920)
sys/arch/hpc/stand/hpcboot/hpcboot.h
59
ARCHITECTURE_MIPS_TX3920= PLATID_CPU_MIPS_TX_3920,