Index: kernel/arch/ia64/src/smc.c
===================================================================
--- kernel/arch/ia64/src/smc.c	(revision 7328ff41dcbe15332d62c013417ec72bbb613ee6)
+++ kernel/arch/ia64/src/smc.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -40,3 +40,2 @@
 	srlz_i();
 }
-