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~

Reply via email to