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~