summaryrefslogtreecommitdiff
path: root/src/mem/protocol/MOESI_CMP_token-dir.sm
diff options
context:
space:
mode:
Diffstat (limited to 'src/mem/protocol/MOESI_CMP_token-dir.sm')
-rw-r--r--src/mem/protocol/MOESI_CMP_token-dir.sm18
1 files changed, 9 insertions, 9 deletions
diff --git a/src/mem/protocol/MOESI_CMP_token-dir.sm b/src/mem/protocol/MOESI_CMP_token-dir.sm
index c411d1c4b..aabde0af8 100644
--- a/src/mem/protocol/MOESI_CMP_token-dir.sm
+++ b/src/mem/protocol/MOESI_CMP_token-dir.sm
@@ -41,15 +41,15 @@ machine(Directory, "Token protocol")
int fixed_timeout_latency = 100
{
- MessageBuffer dmaResponseFromDir, network="To", virtual_network="5", ordered="true";
- MessageBuffer responseFromDir, network="To", virtual_network="4", ordered="false";
- MessageBuffer persistentFromDir, network="To", virtual_network="3", ordered="true";
- MessageBuffer requestFromDir, network="To", virtual_network="1", ordered="false";
-
- MessageBuffer responseToDir, network="From", virtual_network="4", ordered="false";
- MessageBuffer persistentToDir, network="From", virtual_network="3", ordered="true";
- MessageBuffer requestToDir, network="From", virtual_network="2", ordered="false";
- MessageBuffer dmaRequestToDir, network="From", virtual_network="0", ordered="true";
+ MessageBuffer dmaResponseFromDir, network="To", virtual_network="5", ordered="true", vnet_type="response";
+ MessageBuffer responseFromDir, network="To", virtual_network="4", ordered="false", vnet_type="response";
+ MessageBuffer persistentFromDir, network="To", virtual_network="3", ordered="true", vnet_type="persistent";
+ MessageBuffer requestFromDir, network="To", virtual_network="1", ordered="false", vnet_type="request";
+
+ MessageBuffer responseToDir, network="From", virtual_network="4", ordered="false", vnet_type="response";
+ MessageBuffer persistentToDir, network="From", virtual_network="3", ordered="true", vnet_type="persistent";
+ MessageBuffer requestToDir, network="From", virtual_network="2", ordered="false", vnet_type="request";
+ MessageBuffer dmaRequestToDir, network="From", virtual_network="0", ordered="true", vnet_type="request";
// STATES
state_declaration(State, desc="Directory states", default="Directory_State_O") {