summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/mem/protocol/MI_example-dir.sm2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mem/protocol/MI_example-dir.sm b/src/mem/protocol/MI_example-dir.sm
index e2d834201..e9f652152 100644
--- a/src/mem/protocol/MI_example-dir.sm
+++ b/src/mem/protocol/MI_example-dir.sm
@@ -498,6 +498,7 @@ machine(MachineType:Directory, "Directory protocol")
transition(I, GETX, IM) {
//d_sendData;
+ v_allocateTBEFromRequestNet;
qf_queueMemoryFetchRequest;
e_ownerIsRequestor;
i_popIncomingRequestQueue;
@@ -506,6 +507,7 @@ machine(MachineType:Directory, "Directory protocol")
transition(IM, Memory_Data, M) {
d_sendData;
//e_ownerIsRequestor;
+ w_deallocateTBE;
l_popMemQueue;
}