>>
>> Argh, let's blame it on my jetlag, but I meant regcache_raw_supply and
>> regcache_raw_collect as the function that should take `void *' instead
>> of `gdb_byte *'.  The other regcache_raw_xxx functions can stay as
>> they are now.
>
> 6hrs time difference is not jetlag ...
>
> Just supply/collect is making more sense :-)

The attached patchis what I had in mind.

OK?

Mark