add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm64/include/asm/fpsimd.h
..
..
@@ -43,6 +43,7 @@
43
43
 extern void fpsimd_signal_preserve_current_state(void);
44
44
 extern void fpsimd_preserve_current_state(void);
45
45
 extern void fpsimd_restore_current_state(void);
46
+extern void fpsimd_restore_current_oob(void);
46
47
 extern void fpsimd_update_current_state(struct user_fpsimd_state const *state);
47
48
 
48
49
 extern void fpsimd_bind_task_to_cpu(void);