134,136d133
< template <class T>
< Fault read(Addr addr, T &data, unsigned flags);
<
139,141d135
< template <class T>
< Fault write(T data, Addr addr, unsigned flags, uint64_t *res);
<