pt_ucontext_to_fxsave
pt_ucontext_to_fxsave(&tmbx.tm_context, fxsave);
void pt_ucontext_to_fxsave(const ucontext_t *, char *);