> The current safety comment on `io_read`/`io_write` does not cover the topic > about alignment. Add it so it can be relied on by implementor of > `IoCapable`. > > Expand the check performed by `Io` by taking `self.addr()` into > consideration when checking if `offset` is aligned. For the compile-time > `io_addr_assert` check, check using the known minimum alignment of > `Io::Target` and the accessed type. > > While at it, fix the alignment check to use `align_of` instead of > `size_of`. The values match for all primitives (including u64, given that > we do not provide u64 accessor on 32-bit platforms), but are not > necessarily true for custom types. > > Signed-off-by: Gary Guo <[email protected]>
Sashiko has reviewed this patch and found no issues. It looks great! -- Sashiko AI review ยท https://sashiko.dev/#/patchset/[email protected]?part=2
