__bus_space_write_4
__bus_space_write_4(t, h, o, \
__bus_space_write_4(tag, handle, offset, *(u_int32_t *)dest);