259c259
< Fault readBytes(Addr addr, uint8_t *data, unsigned size, unsigned flags);
---
> Fault readMem(Addr addr, uint8_t *data, unsigned size, unsigned flags);
261,262c261,262
< Fault writeBytes(uint8_t *data, unsigned size,
< Addr addr, unsigned flags, uint64_t *res);
---
> Fault writeMem(uint8_t *data, unsigned size,
> Addr addr, unsigned flags, uint64_t *res);