122c122
< void walk(ThreadContext * _tc, Addr vaddr);
---
> void walk(ThreadContext * _tc, Addr vaddr, bool write, bool execute);