From 39352cd36421c699082928b94b6106b7208d997f Mon Sep 17 00:00:00 2001 From: Balazs Gerofi Date: Mon, 1 May 2017 02:38:56 +0900 Subject: [PATCH] event_signal(): use IKC3 ikc2linux channel --- kernel/syscall.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/syscall.c b/kernel/syscall.c index e7d6d3ef..d1ad226b 100644 --- a/kernel/syscall.c +++ b/kernel/syscall.c @@ -1109,7 +1109,7 @@ event_signal() struct ihk_ikc_channel_desc *syscall_channel; struct ikc_scd_packet pckt; - syscall_channel = get_cpu_local_var(0)->syscall_channel2; + syscall_channel = get_cpu_local_var(0)->ikc2linux; memset(&pckt, '\0', sizeof pckt); pckt.msg = SCD_MSG_EVENT_SIGNAL; ihk_ikc_send(syscall_channel, &pckt, 0);