diff options
Diffstat (limited to 'mem/page_table.hh')
| -rw-r--r-- | mem/page_table.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mem/page_table.hh b/mem/page_table.hh index 8f0842f58..66cce7cd6 100644 --- a/mem/page_table.hh +++ b/mem/page_table.hh @@ -67,7 +67,7 @@ class PageTable Addr pageAlign(Addr a) { return (a & ~offsetMask); } Addr pageOffset(Addr a) { return (a & offsetMask); } - Fault page_check(Addr addr, int size) const; + Fault page_check(Addr addr, int size, uint32_t flags) const; void allocate(Addr vaddr, int size); |