1 #ifndef VFP_PRIVATE 2 #define VFP_PRIVATE 3 4 #include <kernel/vfp.h> 5 6 void vfp_save_extension_regs(uint64_t regs[VFP_NUM_REGS]); 7 void vfp_restore_extension_regs(uint64_t regs[VFP_NUM_REGS]); 8 void vfp_clear_extension_regs(void); 9 10 #endif /*VFP_PRIVATE*/ 11