-/* Remaining IPC initialization */
-extern void ipc_init(void) __attribute__((section("__TEXT, initcode")));
+/* Remaining IPC initialization (not thread based) */
+extern void ipc_init(void);
+
+/* IPC initialization dependent on thread call support */
+extern void ipc_thread_call_init(void);