134c134
< Fault readBytes(Addr addr, uint8_t *data, unsigned size, unsigned flags);
---
> Fault readMem(Addr addr, uint8_t *data, unsigned size, unsigned flags);
136,137c136,137
< 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);