DAK_MAX_PS_FAULT_SENSORS
picl_nodehdl_t *ps_fail[DAK_MAX_PS_FAULT_SENSORS];
[DAK_MAX_PS_FAULT_SENSORS][PICL_PROPNAMELEN_MAX];
for (r = 0; r < DAK_MAX_PS_FAULT_SENSORS; r++) {
for (r = 0; r < DAK_MAX_PS_FAULT_SENSORS; r++) {
for (r = 0; r < DAK_MAX_PS_FAULT_SENSORS; r++) {