Index: arch/amd64/src/cpu/cpu.c
===================================================================
--- arch/amd64/src/cpu/cpu.c	(revision 3396f59d66f8fec98e7d11c13ae9cf5cd21b38ef)
+++ arch/amd64/src/cpu/cpu.c	(revision 2c9de7e3f4ddd90dec082a3deb821e3f9c88ba3d)
@@ -91,5 +91,5 @@
  *
  */
-void set_TS_flag(void)
+void fpu_disable(void)
 {
 	__asm__	volatile (
@@ -103,5 +103,5 @@
 }
 
-void reset_TS_flag(void)
+void fpu_enable(void)
 {
 	__asm__	volatile (