Symbol: FANFAULT
usr/src/cmd/picl/plugins/sun4u/enchilada/envd/envd.h
210
FANFAULT = 0x2,
usr/src/cmd/picl/plugins/sun4u/taco/envd/envd.h
140
FANFAULT = 0x2,