BUILDDIR/xed-ex3 -32 sysret_amd