xsu_overwrite_uctx
xsu_overwrite_uctx(ctx, &to_set, hwsup);
extern void xsu_overwrite_uctx(ucontext_t *, const xsu_fpu_t *, uint32_t);