45a46
> #include "mem/multi_level_page_table.hh"
48d48
< #include "mem/multi_level_page_table.hh"
178c178,179
< void syscall(int64_t callnum, ThreadContext *tc, Fault *fault);
---
> void syscall(int64_t callnum, ThreadContext *tc,
> Fault *fault) override;
189c190,191
< * These page tables are stored in system memory and respect x86 specification.
---
> * These page tables are stored in system memory and respect x86
> * specification.