On 09/12/2017 02:01 PM, Richard Henderson wrote:
On 09/11/2017 01:49 PM, Philippe Mathieu-Daudé wrote:
-        atomic_set((uint64_t *)jmp_addr, pair);
+        atomic_set__nocheck((uint64_t *)jmp_addr, pair);
          flush_icache_range(jmp_addr, jmp_addr + 8);
      } else {
          intptr_t diff = addr - jmp_addr;


Queued, thanks.

Thanks Richard for adding the comment requested by Peter!

Reply via email to