IKC: distribute IKC-interrupt to Linux cpus.

arch/x86/kernel/include/ihk/ikc.h

@@ -15,6 +15,9 @@
 
 #include <ikc/ihk.h>
 
+#define IKC_PORT_IKC2MCKERNEL 501
+#define IKC_PORT_IKC2LINUX    503
+
 /* manycore side */
 int ihk_mc_ikc_init_first(struct ihk_ikc_channel_desc *,
                           ihk_ikc_ph_t handler);

arch/x86/kernel/mikc.c

@@ -47,6 +47,8 @@ int ihk_mc_ikc_init_first_local(struct ihk_ikc_channel_desc *channel,
 	ihk_ikc_init_desc(channel, IKC_OS_HOST, 0, rq, wq,
 	                  ihk_ikc_master_channel_packet_handler, channel);
 	ihk_ikc_enable_channel(channel);
+/* Comment: McKernel側のmaster_channel 割り込み処理channel_list に追加 */
+	ihk_ikc_add_intr_channel(NULL, channel, 0);
 
 	/* Set boot parameter */
 	arch_set_mikc_queue(rq, wq);

arch/x86/kernel/syscall.c

@@ -1547,7 +1547,7 @@ static int vdso_get_vdso_info(void)
 {
 	int error;
 	struct ikc_scd_packet packet;
-	struct ihk_ikc_channel_desc *ch = cpu_local_var(syscall_channel);
+	struct ihk_ikc_channel_desc *ch = cpu_local_var(ikc2linux);
 
 	dkprintf("vdso_get_vdso_info()\n");
 	memset(&vdso, '\0', sizeof vdso);