void mmi_memread(uint64_t paddr, uint8_t * data, uint64_t size)
void mmi_memwrite(uint64_t paddr, const uint8_t * data, uint64_t size)
The device model needs to ensure that the data buffer is of the correct size.