diff options
Diffstat (limited to 'src/mem/protocol/Network_test-dir.sm')
| -rw-r--r-- | src/mem/protocol/Network_test-dir.sm | 6 |
1 files changed, 5 insertions, 1 deletions
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) { |