On 09/12/14 11:27, Andrew Haley wrote: > On 09/12/14 11:00, Andrew Dinn wrote: >> Or is there a need to call invalidate_range for the first write? > > The first write does not touch any instructions, so there's no point. doh! regards, Andrew Dinn -----------