IKC: separate IRQ between Master-channel and Regular-channel

kernel/host.c

@@ -728,6 +728,6 @@ void init_host_ikc2mckernel(void)
 	}
 	dkprintf("connected.\n");
 
-	ihk_ikc_set_intr_channel(NULL, param.channel, ihk_ikc_get_processor_id());
+	ihk_ikc_set_regular_channel(NULL, param.channel, ihk_ikc_get_processor_id());
 }
 

kernel/mem.c

@@ -717,7 +717,7 @@ static struct ihk_mc_pa_ops allocator = {
 void sbox_write(int offset, unsigned int value);
 
 static int page_hash_count_pages(void);
-static void query_free_mem_interrupt_handler(void *priv)
+static void query_free_mem_interrupt_handler(void *priv, int vector)
 {
 	int i, pages = 0;