Changeset 680 for branches/MESI/communication/dspin_dhccp_param/caba

Timestamp:

Apr 17, 2014, 11:12:35 AM (11 years ago)

Author:

haoliu

Message:

MESI Bug fixed

File:

• branches/MESI/communication/dspin_dhccp_param/caba/source/include/dspin_dhccp_param.h (modified) (4 diffs)

branches/MESI/communication/dspin_dhccp_param/caba/source/include/dspin_dhccp_param.h

@@ -210 +210 @@
     static const uint8_t  MULTI_INVAL_IS_CONFIG_SHIFT  = 21;
     static const uint64_t MULTI_INVAL_IS_CONFIG_MASK   = 1;
+    static const uint8_t  BRDCAST_IS_CONFIG_SHIFT      = 1;
+    static const uint64_t BRDCAST_IS_CONFIG_MASK       = 1;
+ 
+    static const uint8_t  MULTI_INVAL_IS_SHARED_SHIFT  = 22;
+    static const uint64_t MULTI_INVAL_IS_SHARED_MASK   = 1;
+    static const uint8_t  BRDCAST_IS_SHARED_SHIFT      = 2;
+    static const uint64_t BRDCAST_IS_SHARED_MASK       = 1;
 
     static const uint8_t  MULTI_UPDT_DEST_SHIFT        = MULTI_INVAL_DEST_SHIFT;
@@ -306 +313 @@
       MULTI_INVAL_NLINE,
       MULTI_INVAL_IS_CONFIG,
+      BRDCAST_IS_CONFIG,
+      MULTI_INVAL_IS_SHARED,
+      BRDCAST_IS_SHARED,
 
       MULTI_UPDT_DEST,
@@ -351 +361 @@
         GET_FIELD(flit,MULTI_INVAL_NLINE);
         GET_FIELD(flit,MULTI_INVAL_IS_CONFIG);
+        GET_FIELD(flit,BRDCAST_IS_CONFIG);
+        GET_FIELD(flit,MULTI_INVAL_IS_SHARED);
+        GET_FIELD(flit,BRDCAST_IS_SHARED);
         GET_FIELD(flit,MULTI_UPDT_DEST);
         GET_FIELD(flit,MULTI_UPDT_SRCID);
@@ -395 +408 @@
         SET_FIELD(flit,value,MULTI_INVAL_NLINE);
         SET_FIELD(flit,value,MULTI_INVAL_IS_CONFIG);
+        SET_FIELD(flit,value,BRDCAST_IS_CONFIG);
+        SET_FIELD(flit,value,MULTI_INVAL_IS_SHARED);
+        SET_FIELD(flit,value,BRDCAST_IS_SHARED);
         SET_FIELD(flit,value,MULTI_UPDT_DEST);
         SET_FIELD(flit,value,MULTI_UPDT_SRCID);