Symbol: PS3
usr/src/uts/sun4u/tazmo/io/envctrl.c
1407
envctrl_PS_intr_service(unitp, PS3);
usr/src/uts/sun4u/tazmo/io/envctrl.c
2637
uint8_t psaddr[] = {PS1, PS2, PS3, PSTEMP0};
usr/src/uts/sun4u/tazmo/io/envctrl.c
2660
case PS3: