Index: kernel/arch/sparc64/src/fpu_context.c
===================================================================
--- kernel/arch/sparc64/src/fpu_context.c	(revision 8dbc18cf90da942617936d7574d4dfc13249644d)
+++ kernel/arch/sparc64/src/fpu_context.c	(revision e7b7be3ff072782e570cb6ee64b50b1625a3fd89)
@@ -40,5 +40,5 @@
 void fpu_context_save(fpu_context_t *fctx)
 {
-	__asm__ volatile (
+	asm volatile (
 		"std %%f0, %0\n"
 		"std %%f2, %1\n"
@@ -68,5 +68,5 @@
 	 */
 	
-	__asm__ volatile (
+	asm volatile (
 		"std %%f32, %0\n"
 		"std %%f34, %1\n"
@@ -91,10 +91,10 @@
 	);
 	
-	__asm__ volatile ("stx %%fsr, %0\n" : "=m" (fctx->fsr));
+	asm volatile ("stx %%fsr, %0\n" : "=m" (fctx->fsr));
 }
 
 void fpu_context_restore(fpu_context_t *fctx)
 {
-	__asm__ volatile (
+	asm volatile (
 		"ldd %0, %%f0\n"
 		"ldd %1, %%f2\n"
@@ -125,5 +125,5 @@
 	 */
 	
-	__asm__ volatile (
+	asm volatile (
 		"ldd %0, %%f32\n"
 		"ldd %1, %%f34\n"
@@ -149,5 +149,5 @@
 	);
 	
-	__asm__ volatile ("ldx %0, %%fsr\n" : : "m" (fctx->fsr));
+	asm volatile ("ldx %0, %%fsr\n" : : "m" (fctx->fsr));
 }