diff --git a/kernel/mem.c b/kernel/mem.c
index 2687d860..0ad1d0bc 100644
--- a/kernel/mem.c
+++ b/kernel/mem.c
@@ -149,19 +149,15 @@ static struct ihk_mc_pa_ops allocator = {
 
 void sbox_write(int offset, unsigned int value);
 
-void query_free_mem_interrupt_handler(void *priv)
+static void query_free_mem_interrupt_handler(void *priv)
 {
+#ifdef ATTACHED_MIC
 	dkprintf("query free mem handler!\n");
 
 	int pages = ihk_pagealloc_query_free(pa_allocator);
-	static int first = -1;
 	
-	if (first < 0) {
-		first = pages;
-	}
-	kprintf("free pages: %d (%d)\n", pages, pages-first);
+	dkprintf("free pages: %d\n", pages);
 
-#ifdef	ATTACHED_MIC
 	sbox_write(SBOX_SCRATCH0, pages);
 	sbox_write(SBOX_SCRATCH1, 1);
 #endif
diff --git a/kernel/syscall.c b/kernel/syscall.c
index 948f8f0b..5b699eec 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -510,12 +510,6 @@ SYSCALL_DECLARE(exit_group)
 #if 0
 	struct process *proc = cpu_local_var(current);
 
-	if (1) {
-		extern void query_free_mem_interrupt_handler(void *);
-
-		query_free_mem_interrupt_handler(NULL);
-	}
-
 #ifdef DCFA_KMOD
 	do_mod_exit((int)ihk_mc_syscall_arg0(ctx));
 #endif