235,238c235,236
< void prefetch(Addr addr, unsigned flags)
< {
< // need to do this...
< }
---
> void prefetch(Addr addr, unsigned flags);
> void writeHint(Addr addr, int size, unsigned flags);
240,245d237
< void writeHint(Addr addr, int size, unsigned flags)
< {
< // need to do this...
< }
<
<