--- src/sys/sys/thread.h	2007/04/25 11:45:28	1.88
+++ src/sys/sys/thread.h	2007/11/18 09:53:19	1.89
@@ -388,6 +388,7 @@ extern void lwkt_process_ipiq(void);
 extern void lwkt_process_ipiq_frame(struct intrframe *);
 #endif
 extern void lwkt_smp_stopped(void);
+extern void lwkt_synchronize_ipiqs(const char *);
 
 #endif /* SMP */