diff options
Diffstat (limited to 'src/mem/protocol/MOESI_CMP_directory-dir.sm')
| -rw-r--r-- | src/mem/protocol/MOESI_CMP_directory-dir.sm | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/mem/protocol/MOESI_CMP_directory-dir.sm b/src/mem/protocol/MOESI_CMP_directory-dir.sm index 753acc58d..a8acaba02 100644 --- a/src/mem/protocol/MOESI_CMP_directory-dir.sm +++ b/src/mem/protocol/MOESI_CMP_directory-dir.sm @@ -555,11 +555,6 @@ machine(Directory, "Directory protocol") } } - - // action(z_stall, "z", desc="Cannot be handled right now.") { - // Special name recognized as do nothing case - // } - action(zz_recycleRequest, "\z", desc="Recycle the request queue") { requestQueue_in.recycle(); } |