On 15-10-22 06:55 AM, Pedro Alves wrote: > On 10/21/2015 07:44 PM, Simon Marchi wrote: > >> Ping for patches 1 and 4. > > I think patch #1 is already in, it was the one that ended up > using write_memory_unsigned_integer. > > Thanks, > Pedro Alves > Ah indeed, sorry about that.