diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/mem/protocol/Network_test-cache.sm | 3 | ||||
-rw-r--r-- | src/mem/protocol/Network_test-dir.sm | 6 |
2 files changed, 8 insertions, 1 deletions
diff --git a/src/mem/protocol/Network_test-cache.sm b/src/mem/protocol/Network_test-cache.sm index b97819ca3..d3b649e89 100644 --- a/src/mem/protocol/Network_test-cache.sm +++ b/src/mem/protocol/Network_test-cache.sm @@ -131,6 +131,9 @@ machine(L1Cache, "Network_test L1 Cache") return OOD; } + DataBlock getDataBlock(Address addr), return_by_ref="yes" { + error("Network Test does not support get data block."); + } // NETWORK PORTS diff --git a/src/mem/protocol/Network_test-dir.sm b/src/mem/protocol/Network_test-dir.sm index 593a409d0..57736b66d 100644 --- a/src/mem/protocol/Network_test-dir.sm +++ b/src/mem/protocol/Network_test-dir.sm @@ -55,7 +55,7 @@ machine(Directory, "Network_test Directory") // TYPES // DirectoryEntry - structure(Entry, desc="...") { + structure(Entry, desc="...", interface="AbstractEntry") { State DirectoryState, desc="Directory state"; DataBlock DataBlk, desc="data for the block"; } @@ -76,6 +76,10 @@ machine(Directory, "Network_test Directory") void setAccessPermission(Address addr, State state) { } + DataBlock getDataBlock(Address addr), return_by_ref="yes" { + error("Network Test does not support get data block."); + } + // ** IN_PORTS ** in_port(requestQueue_in, RequestMsg, requestToDir) { |