static void i386_store_fpxregset (const void *buf) { i387_fxsave_to_cache (buf); }
static void x86_64_store_fpregset (const void *buf) { i387_fxsave_to_cache (buf); }