On 9/26/24 15:22, Huang, Kai wrote: > But Dan commented using typeless 'void *' and 'size' is kinda a step > backwards and we should do something similar to build_mmio_read(): Well, void* is typeless, but at least it knows the size in this case. It's not completely aimless. I was thinking of how things like get_user() work.