haiku_save_fpu
void haiku_save_fpu(void* area, uint64_t xsave_features);
#define x86_save_fpu haiku_save_fpu
void haiku_save_fpu(void* area, uint64_t xsave_features);
#define x86_save_fpu haiku_save_fpu