Symbol: PLATID_CPU_MIPS_TX_3900
sys/arch/hpc/hpc/platid_mask.c
87
PLATID_CPU_MIPS_TX_3900,
sys/arch/hpc/include/platid_generated.h
90
PLATID_CPU_MIPS_TX_3900)
sys/arch/hpc/include/platid_generated.h
94
PLATID_CPU_MIPS_TX_3900)
sys/arch/hpc/stand/hpcboot/hpcboot.h
58
ARCHITECTURE_MIPS_TX3900= PLATID_CPU_MIPS_TX_3900,