On Tue, Apr 14, 2020 at 07:13:14PM +0200, Kamil Rytarowski wrote: > According to GCC developers cmpxchg8b is on all 64-bit X86 CPUs. thanks. So I commited this change, in the bouyer-xenpvh branch for now. -- Manuel Bouyer <bouyer%antioche.eu.org@localhost> NetBSD: 26 ans d'experience feront toujours la difference --