path: root/kernel/include/fpu.h

void enable_fpu(void);
void disable_fpu(void);