Add inline function ia64_fc_i() to abstract inline assembly.

Use the new inline function in ia64_invalidate_icache().
While there, add proper synchronization so that we know
the fc.i instructions have taken effect when we return.

sys/ia64/ia64/machdep.c

@@ -1531,7 +1531,10 @@ ia64_invalidate_icache(vm_offset_t va, vm_offset_t sz)
 
 	lim = va + sz;
 	while (va < lim) {
-		__asm __volatile("fc.i %0" :: "r"(va));
+		ia64_fc_i(va);
 		va += 32;	/* XXX */
 	}
+
+	ia64_sync_i();
+	ia64_srlz_i();
 }

sys/ia64/include/ia64_cpu.h

@@ -197,6 +197,12 @@ ia64_fc(u_int64_t va)
 	__asm __volatile("fc %0" :: "r"(va));
 }
 
+static __inline void
+ia64_fc_i(u_int64_t va)
+{
+	__asm __volatile("fc.i %0" :: "r"(va));
+}
+
 /*
  * Sync instruction stream.
  */