diff options
Diffstat (limited to 'model/sys/vmem.sail')
| -rw-r--r-- | model/sys/vmem.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/model/sys/vmem.sail b/model/sys/vmem.sail index 875ba7a..45150c2 100644 --- a/model/sys/vmem.sail +++ b/model/sys/vmem.sail @@ -156,6 +156,8 @@ function pt_walk( } } +termination_measure pt_walk(_,_,_,_,_,_,_,level,_, _) = level + // **************************************************************** // Architectural SATP CSR |