static void i386_fill_fpxregset (void *buf) { i387_cache_to_fxsave (buf); }
static void x86_64_fill_fpregset (void *buf) { i387_cache_to_fxsave (buf); }