Symbol: PICNODE_TYPE_MPC5200
sys/arch/ofppc/ofppc/mainbus.c
346
} else if (picnodes[i].type == PICNODE_TYPE_MPC5200) {
sys/arch/powerpc/pci/pci_machdep_ofw.c
174
picnodes[nrofpics].type = PICNODE_TYPE_MPC5200;