 BUILDDIR/xed-enc -32 sysret_amd
