changeset 10074:45e3367ab3f3

6848640 The de rules need to treat the payloadprop constraints as "may" propagation
author Trang Do <Trang.Do@Sun.COM>
date Mon, 13 Jul 2009 09:17:22 -0700
parents c7f0868fae05
children 254480e5218d
files usr/src/cmd/fm/eversholt/files/sparc/sun4v/gcpu.esc usr/src/cmd/fm/eversholt/files/sparc/sun4v/gmem.esc
diffstat 2 files changed, 54 insertions(+), 54 deletions(-) [+]
line wrap: on
line diff
--- a/usr/src/cmd/fm/eversholt/files/sparc/sun4v/gcpu.esc	Mon Jul 13 09:59:16 2009 -0400
+++ b/usr/src/cmd/fm/eversholt/files/sparc/sun4v/gcpu.esc	Mon Jul 13 09:17:22 2009 -0700
@@ -20,7 +20,7 @@
  */
 
 /*
- * Copyright 2008 Sun Microsystems, Inc.  All rights reserved.
+ * Copyright 2009 Sun Microsystems, Inc.  All rights reserved.
  * Use is subject to license terms.
  */
 
@@ -126,13 +126,13 @@
 	event fault.cpu.generic-sparc.fltleaf@level;			\
 									\
 	prop fault.cpu.generic-sparc.fltleaf@level 			\
-	    { DIAGNOSE_ERPT } (1)->					\
+	    { DIAGNOSE_ERPT } (0)->					\
 	    ereport.cpu.generic-sparc.erptleaf@level;			\
 									\
 	event upset.cpu.generic-sparc.fltleaf@level;			\
 									\
 	prop upset.cpu.generic-sparc.fltleaf@level			\
-	    { !DIAGNOSE_ERPT } (1)->					\
+	    { !DIAGNOSE_ERPT } (0)->					\
 	    ereport.cpu.generic-sparc.erptleaf@level
 
 
@@ -174,13 +174,13 @@
 	    retire=0;							\
 									\
 	prop fault.cpu.generic-sparc.fltleaf@level 			\
-	    { DIAGNOSE_ERPT } (1)->					\
+	    { DIAGNOSE_ERPT } (0)->					\
 	    ereport.cpu.generic-sparc.erptleaf@level;			\
 									\
 	event upset.cpu.generic-sparc.fltleaf@level;			\
 									\
 	prop upset.cpu.generic-sparc.fltleaf@level			\
-	    { !DIAGNOSE_ERPT } (1)->					\
+	    { !DIAGNOSE_ERPT } (0)->					\
 	    ereport.cpu.generic-sparc.erptleaf@level
 
 FLT_CPU_UE_UNRETIRED(chip, int-mem-ue, chip-uc-nr);
@@ -243,13 +243,13 @@
 	prop fault.cpu.generic-sparc.fltleaf@level			\
 	    { DIAGNOSE_ERPT && setserdsuffix("erptleaf") &&		\
 	    setserdn(n) && setserdt(t) && SET_SERDN &&			\
-	    SET_SERDT && SET_RATIO } (1) ->				\
+	    SET_SERDT && SET_RATIO } (0) ->				\
 	    ereport.cpu.generic-sparc.erptleaf@level;			\
 									\
 	event upset.cpu.generic-sparc.fltleaf@level;			\
 									\
 	prop upset.cpu.generic-sparc.fltleaf@level			\
-	    { !DIAGNOSE_ERPT } (1) ->					\
+	    { !DIAGNOSE_ERPT } (0) ->					\
 	    ereport.cpu.generic-sparc.erptleaf@level
 
 FLT_CPU_CE(itlb, core, core, 8, 1week);
@@ -285,13 +285,13 @@
 	/* When the correctable engine trips, diagnose a fault */       \
 	prop fault.cpu.generic-sparc.fltleaf@level			\
 	    { DIAGNOSE_ERPT && setserdsuffix("erptleaf") && setserdn(n) && \
-	    setserdt(t) && SET_SERDN && SET_SERDT && SET_RATIO } (1) ->	\
+	    setserdt(t) && SET_SERDN && SET_SERDT && SET_RATIO } (0) ->	\
 	    ereport.cpu.generic-sparc.erptleaf@level;			\
 									\
 	event upset.fault.cpu.generic-sparc.fltleaf@level;		\
 									\
 	prop upset.fault.cpu.generic-sparc.fltleaf@level		\
-	    { !DIAGNOSE_ERPT } (1)->					\
+	    { !DIAGNOSE_ERPT } (0)->					\
 	    ereport.cpu.generic-sparc.erptleaf@level
 
 FLT_CPU_CE_UNRETIRED(itlb, chip, chip-nr, 8, 1week);
@@ -343,7 +343,7 @@
     ereport.cpu.generic-sparc.c2c-prot-uc@chip;
 
 prop upset.cpu.generic-sparc.c2c-uc@chip
-    { !DIAGNOSE_ERPT } (1) ->
+    { !DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.c2c-prot-uc@chip,
     ereport.cpu.generic-sparc.c2c-link-uc@chip;
 
@@ -356,7 +356,7 @@
     ereport.cpu.generic-sparc.c2c-failover@chip;
 
 prop upset.cpu.generic-sparc.c2c-failover@chip
-    { !DIAGNOSE_ERPT } (1) ->
+    { !DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.c2c-failover@chip;
 
 /*
@@ -394,7 +394,7 @@
     ereport.cpu.generic-sparc.c2c-prot@chip;
 
 prop upset.cpu.generic-sparc.c2c-link@chip
-    { !DIAGNOSE_ERPT } (1) ->
+    { !DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.c2c-prot@chip,
     ereport.cpu.generic-sparc.c2c-link@chip;
 
@@ -416,11 +416,11 @@
 event upset.fw.generic-sparc.addr-oob@chassis;
 
 prop defect.fw.generic-sparc.addr-oob@chassis
-    { DIAGNOSE_ERPT } (1) ->
+    { DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.addr-oob@chassis;
 
 prop upset.fw.generic-sparc.addr-oob@chassis
-    { !DIAGNOSE_ERPT } (1) ->
+    { !DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.addr-oob@chassis;
 
 event ereport.cpu.generic-sparc.inconsistent@chassis;
@@ -430,11 +430,11 @@
 event upset.fw.generic-sparc.erpt-gen@chassis;
 
 prop defect.fw.generic-sparc.erpt-gen@chassis
-    { DIAGNOSE_ERPT } (1) ->
+    { DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.inconsistent@chassis;
 
 prop upset.fw.generic-sparc.erpt-gen@chassis
-    { !DIAGNOSE_ERPT } (1) ->
+    { !DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.inconsistent@chassis;
 /*
  * bootbus-to and bootbus-par errors. Fault the detector.
@@ -446,15 +446,15 @@
 event fault.cpu.generic-sparc.bootbus@chip, retire=0;
 
 prop fault.cpu.generic-sparc.bootbus@chip
-    { DIAGNOSE_ERPT } (1) ->
+    { DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.bootbus-to@chip;
 
 prop fault.cpu.generic-sparc.bootbus@chip
-    { DIAGNOSE_ERPT } (1) ->
+    { DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.bootbus-par@chip;
 
 prop upset.cpu.generic-sparc.bootbus@chip
-    { !DIAGNOSE_ERPT } (1) ->
+    { !DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.bootbus-to@chip,
     ereport.cpu.generic-sparc.bootbus-par@chip;
 
@@ -464,5 +464,5 @@
 event ereport.cpu.generic-sparc.pio-read@chip;
 event upset.cpu.generic-sparc.discard@chip;
 
-prop upset.cpu.generic-sparc.discard@chip (1) ->
+prop upset.cpu.generic-sparc.discard@chip (0) ->
     ereport.cpu.generic-sparc.pio-read@chip;
--- a/usr/src/cmd/fm/eversholt/files/sparc/sun4v/gmem.esc	Mon Jul 13 09:59:16 2009 -0400
+++ b/usr/src/cmd/fm/eversholt/files/sparc/sun4v/gmem.esc	Mon Jul 13 09:17:22 2009 -0700
@@ -64,13 +64,13 @@
 	event fault.memory.bank@DIMMPATH;				\
 									\
 	prop fault.memory.bank@DIMMPATH					\
-	    { DIAGNOSE_ERPT && CONTAINS_DIMM } (1)->			\
+	    { DIAGNOSE_ERPT && CONTAINS_DIMM } (0)->			\
 	    ereport.cpu.generic-sparc.mem-uc@level<>;			\
 									\
 	event upset.memory.bank@DIMMPATH;				\
 									\
 	prop upset.memory.bank@DIMMPATH					\
-	    { !DIAGNOSE_ERPT } (1)->					\
+	    { !DIAGNOSE_ERPT } (0)->					\
 	    ereport.cpu.generic-sparc.mem-uc@level<>
 
 FLT_MEM_UE_BANK(chip);
@@ -82,13 +82,13 @@
 	     message=0;							\
 									\
 	prop fault.memory.page@DIMMPATH					\
-	    { DIAGNOSE_ERPT && CONTAINS_DIMM && SET_ADDR && SET_OFFSET } (1)-> \
+	    { DIAGNOSE_ERPT && CONTAINS_DIMM && SET_ADDR && SET_OFFSET } (0)-> \
 	    ereport.cpu.generic-sparc.mem-uc@level<>;			\
 									\
 	event upset.memory.page@DIMMPATH;				\
 									\
 	prop upset.memory.page@DIMMPATH					\
-	    { !DIAGNOSE_ERPT } (1)->					\
+	    { !DIAGNOSE_ERPT } (0)->					\
 	    ereport.cpu.generic-sparc.mem-uc@level<>
 
 FLT_MEM_UE_PAGE(chip);
@@ -129,58 +129,58 @@
  * detector is chip
  */
 prop fault.memory.memlink@CHIP
-    { DIAGNOSE_ERPT && SET_SERDN && SET_SERDT && SET_RATIO } (1) ->
+    { DIAGNOSE_ERPT && SET_SERDN && SET_SERDT && SET_RATIO } (0) ->
     ereport.cpu.generic-sparc.membuf-crc@CHIP;
 
 prop fault.memory.memlink@MEM_BUFF
     { DIAGNOSE_ERPT && CONTAINS_MEMBUFF && SET_SERDN &&
-    SET_SERDT && SET_RATIO } (1)->
+    SET_SERDT && SET_RATIO } (0)->
     ereport.cpu.generic-sparc.membuf-crc@CHIP<>;
 
 event upset.memory.memlink@CHIP;
 
 prop upset.memory.memlink@CHIP
-    { !DIAGNOSE_ERPT } (1)->
+    { !DIAGNOSE_ERPT } (0)->
     ereport.cpu.generic-sparc.membuf-crc@CHIP;
 /*
  * detector is memory-buffer
  */
 prop fault.memory.memlink@MEM_BUFF
-    { DIAGNOSE_ERPT && SET_SERDN && SET_SERDT && SET_RATIO } (1) ->
+    { DIAGNOSE_ERPT && SET_SERDN && SET_SERDT && SET_RATIO } (0) ->
     ereport.cpu.generic-sparc.membuf-crc@MEM_BUFF;
 
 prop fault.memory.memlink@CHIP
     { DIAGNOSE_ERPT && CONTAINS_CHIP && SET_SERDN &&
-    SET_SERDT && SET_RATIO } (1) ->
+    SET_SERDT && SET_RATIO } (0) ->
     ereport.cpu.generic-sparc.membuf-crc@MEM_BUFF<>;
 
 prop fault.memory.memlink@MEM_CTRL
     { DIAGNOSE_ERPT && CONTAINS_MEMCTRL && SET_SERDN &&
-    SET_SERDT && SET_RATIO } (1)->  
+    SET_SERDT && SET_RATIO } (0)->  
     ereport.cpu.generic-sparc.membuf-crc@MEM_BUFF<>;
 
 event upset.memory.memlink@MEM_BUFF;
 
 prop upset.memory.memlink@MEM_BUFF
-    { !DIAGNOSE_ERPT } (1)->
+    { !DIAGNOSE_ERPT } (0)->
     ereport.cpu.generic-sparc.membuf-crc@MEM_BUFF;
 
 /*
  * detector is memory-controller
  */
 prop fault.memory.memlink@MEM_CTRL
-    { DIAGNOSE_ERPT && SET_SERDN && SET_SERDT && SET_RATIO } (1)->
+    { DIAGNOSE_ERPT && SET_SERDN && SET_SERDT && SET_RATIO } (0)->
     ereport.cpu.generic-sparc.membuf-crc@MEM_CTRL;
 
 prop fault.memory.memlink@MEM_BUFF
     { DIAGNOSE_ERPT && CONTAINS_MEMBUFF && SET_SERDN &&
-    SET_SERDT && SET_RATIO } (1)->
+    SET_SERDT && SET_RATIO } (0)->
     ereport.cpu.generic-sparc.membuf-crc@MEM_CTRL<>;
 
 event upset.memory.memlink@MEM_CTRL;
 
 prop upset.memory.memlink@MEM_CTRL
-    { !DIAGNOSE_ERPT } (1)->
+    { !DIAGNOSE_ERPT } (0)->
     ereport.cpu.generic-sparc.membuf-crc@MEM_CTRL;
 
 /*
@@ -200,55 +200,55 @@
  * chip is detector
  */
 prop fault.memory.memlink-uc@CHIP
-    { DIAGNOSE_ERPT } (1) ->
+    { DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-uc@CHIP;
 
 prop fault.memory.memlink-uc@MEM_BUFF
-    { DIAGNOSE_ERPT && CONTAINS_MEMBUFF } (1) ->
+    { DIAGNOSE_ERPT && CONTAINS_MEMBUFF } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-uc@CHIP<>;
 
 event upset.memory.memlink-uc@CHIP;
 
 prop upset.memory.memlink-uc@CHIP
-    { !DIAGNOSE_ERPT } (1)->
+    { !DIAGNOSE_ERPT } (0)->
     ereport.cpu.generic-sparc.membuf-crc-uc@CHIP;
 
 /*
  * memory-buffer is detector
  */
 prop fault.memory.memlink-uc@MEM_BUFF
-    { DIAGNOSE_ERPT } (1) ->
+    { DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-uc@MEM_BUFF;
 
 prop fault.memory.memlink-uc@CHIP
-    { DIAGNOSE_ERPT && CONTAINS_CHIP } (1) ->
+    { DIAGNOSE_ERPT && CONTAINS_CHIP } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-uc@MEM_BUFF<>;
 
 prop fault.memory.memlink-uc@MEM_CTRL
-    { DIAGNOSE_ERPT && CONTAINS_MEMCTRL } (1) ->
+    { DIAGNOSE_ERPT && CONTAINS_MEMCTRL } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-uc@MEM_BUFF<>;
 
 event upset.memory.memlink-uc@MEM_BUFF;
 
 prop upset.memory.memlink-uc@MEM_BUFF
-    { !DIAGNOSE_ERPT } (1)->
+    { !DIAGNOSE_ERPT } (0)->
     ereport.cpu.generic-sparc.membuf-crc-uc@MEM_BUFF;
 
 /*
  * memory-controller is detector
  */
 prop fault.memory.memlink-uc@MEM_CTRL
-    { DIAGNOSE_ERPT } (1) ->
+    { DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-uc@MEM_CTRL;
 
 prop fault.memory.memlink-uc@MEM_BUFF
-    { DIAGNOSE_ERPT && CONTAINS_MEMBUFF } (1) ->
+    { DIAGNOSE_ERPT && CONTAINS_MEMBUFF } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-uc@MEM_CTRL<>;
 
 event upset.memory.memlink-uc@MEM_CTRL;
 
 prop upset.memory.memlink-uc@MEM_CTRL
-    { !DIAGNOSE_ERPT } (1)->
+    { !DIAGNOSE_ERPT } (0)->
     ereport.cpu.generic-sparc.membuf-crc-uc@MEM_CTRL;
 /*
  * membuf-crc-failover will fault the detector FRU and sender FRU
@@ -269,53 +269,53 @@
  * chip is detector
  */
 prop fault.memory.memlink-failover@CHIP
-    { DIAGNOSE_ERPT } (1) ->
+    { DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-failover@CHIP;
 
 prop fault.memory.memlink-failover@MEM_BUFF
-    { DIAGNOSE_ERPT && CONTAINS_MEMBUFF } (1) ->
+    { DIAGNOSE_ERPT && CONTAINS_MEMBUFF } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-failover@CHIP<>;
 
 event upset.memory.memlink-failover@CHIP;
 
 prop upset.memory.memlink-failover@CHIP
-    { !DIAGNOSE_ERPT } (1)->
+    { !DIAGNOSE_ERPT } (0)->
     ereport.cpu.generic-sparc.membuf-crc-failover@CHIP;
 /*
  * memory-buffer is detector
  */
 prop fault.memory.memlink-failover@MEM_BUFF
-    { DIAGNOSE_ERPT } (1) ->
+    { DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-failover@MEM_BUFF;
 
 prop fault.memory.memlink-failover@CHIP
-    { DIAGNOSE_ERPT && CONTAINS_CHIP } (1) ->
+    { DIAGNOSE_ERPT && CONTAINS_CHIP } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-failover@MEM_BUFF<>;
 
 prop fault.memory.memlink-failover@MEM_CTRL
-    { DIAGNOSE_ERPT && CONTAINS_MEMCTRL } (1) ->
+    { DIAGNOSE_ERPT && CONTAINS_MEMCTRL } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-failover@MEM_BUFF<>;
 
 event upset.memory.memlink-failover@MEM_BUFF;
 
 prop upset.memory.memlink-failover@MEM_BUFF
-    { !DIAGNOSE_ERPT } (1)->
+    { !DIAGNOSE_ERPT } (0)->
     ereport.cpu.generic-sparc.membuf-crc-failover@MEM_BUFF;
 /*
  * memory-controller is detector
  */
 prop fault.memory.memlink-failover@MEM_CTRL
-    { DIAGNOSE_ERPT } (1) ->
+    { DIAGNOSE_ERPT } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-failover@MEM_CTRL;
 
 prop fault.memory.memlink-failover@MEM_BUFF
-    { DIAGNOSE_ERPT && CONTAINS_MEMBUFF } (1) ->
+    { DIAGNOSE_ERPT && CONTAINS_MEMBUFF } (0) ->
     ereport.cpu.generic-sparc.membuf-crc-failover@MEM_CTRL<>;
 
 event upset.memory.memlink-failover@MEM_CTRL;
 
 prop upset.memory.memlink-failover@MEM_CTRL
-    { !DIAGNOSE_ERPT } (1)->
+    { !DIAGNOSE_ERPT } (0)->
     ereport.cpu.generic-sparc.membuf-crc-failover@MEM_CTRL;
 /*
  * ignore the membuf-other errors