> that casts void* buf to uint32_t*.

Actually buffer is uint8_t *. The definition of target->type->read_memory is
bad in that it uses uint8_t * instead of void *. Which is kinda the
root of this mess.

-- 
Øyvind Harboe - Can Zylin Consulting help on your project?
US toll free 1-866-980-3434 / International +47 51 87 40 27
http://www.zylin.com/
_______________________________________________
Openocd-development mailing list
Openocd-development@lists.berlios.de
https://lists.berlios.de/mailman/listinfo/openocd-development

Reply via email to