__shpcic_io_read_4
value = __shpcic_io_read_4(bsh1, off1);
value = __shpcic_io_read_4(bsh1, off1);
static inline uint32_t __shpcic_io_read_4(bus_space_handle_t bsh,
value = __shpcic_io_read_4(bsh, offset);
*addr++ = __shpcic_io_read_4(bsh, offset);
*(uint32_t *)addr = __shpcic_io_read_4(bsh, offset);
*addr++ = __shpcic_io_read_4(bsh, offset);
*(uint32_t *)addr = __shpcic_io_read_4(bsh, offset);