Symbol: PS3_NAME
usr/src/cmd/picl/plugins/sun4u/mpxu/frudr/piclfrudr.c
2741
} else if ((strcmp(name, PS3_NAME) == 0) ||
usr/src/cmd/picl/plugins/sun4u/mpxu/frudr/piclfrudr.c
2799
} else if (strcmp(name, PS3_NAME) == 0) {
usr/src/cmd/picl/plugins/sun4u/mpxu/frudr/piclfrudr.c
2834
else if (strcmp(apid, PS3_NAME) == 0)