Index: boot/arch/sparc64/loader/ofwarch.c
===================================================================
--- boot/arch/sparc64/loader/ofwarch.c	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ boot/arch/sparc64/loader/ofwarch.c	(revision e7b7be3ff072782e570cb6ee64b50b1625a3fd89)
@@ -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;