diff --git a/arch/x86_64/kernel/mikc.c b/arch/x86_64/kernel/mikc.c
index 79ced05a..7a57e84f 100644
--- a/arch/x86_64/kernel/mikc.c
+++ b/arch/x86_64/kernel/mikc.c
@@ -30,7 +30,7 @@ int ihk_mc_ikc_init_first_local(struct ihk_ikc_channel_desc *channel,
 
 	memset(channel, 0, sizeof(struct ihk_ikc_channel_desc));
 
-	mikc_queue_pages = ((2 * num_processors * MASTER_IKCQ_PKTSIZE)
+	mikc_queue_pages = ((4 * num_processors * MASTER_IKCQ_PKTSIZE)
 			+ (PAGE_SIZE - 1)) / PAGE_SIZE;
 
 	/* Place both sides in this side */