__bus_space_read_4
letoh32(__bus_space_read_4(t, h, o)) : \
__bus_space_read_4(t, h, o))
__bus_space_read_4(tag, handle, offset);