Index: boot/arch/sparc64/loader/ofwarch.c
===================================================================
--- boot/arch/sparc64/loader/ofwarch.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ boot/arch/sparc64/loader/ofwarch.c	(revision 1ba41c5ae41f66c7fa3ef1caef4b77d414202fb3)
@@ -70,5 +70,5 @@
 	uint64_t current_mid;
 	
-	__asm__ volatile ("ldxa [%1] %2, %0\n" : "=r" (current_mid) : "r" (0), "i" (ASI_UPA_CONFIG));
+	asm volatile ("ldxa [%1] %2, %0\n" : "=r" (current_mid) : "r" (0), "i" (ASI_UPA_CONFIG));
 	current_mid >>= UPA_CONFIG_MID_SHIFT;
 	current_mid &= UPA_CONFIG_MID_MASK;