89a90,91
>
> #if FULL_SYSTEM
90a93
> #endif
139,140c142,143
< Fault walkTrickBoxCheck(Addr pa, Addr va, Addr sz, bool is_exec, uint8_t
< domain, bool sNp);
---
> Fault walkTrickBoxCheck(Addr pa, Addr va, Addr sz, bool is_exec,
> bool is_write, uint8_t domain, bool sNp);