path: root/kernel/include/fpu.h

void fpu_enable(void);
void fpu_disable(void);