On Wed, 31 Oct 2018 at 00:17, Dmitry Safonov <dima at arista.com> wrote: > > %ebx, %ecx, %eax aren't specified as clobbers in chk_proc_fpu(), self-correct ^ eax was specified previously in clobbers, not %ebx/%ecx -- Dima