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. r~
