Index: arch/amd64/src/cpu/cpu.c
===================================================================
--- arch/amd64/src/cpu/cpu.c	(revision 3396f59d66f8fec98e7d11c13ae9cf5cd21b38ef)
+++ arch/amd64/src/cpu/cpu.c	(revision 178ec7b8b4337535e04d51c6dc651fd13d918421)
@@ -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 (