diff --git a/kernel/host.c b/kernel/host.c
index 64dc8d04..621511d3 100644
--- a/kernel/host.c
+++ b/kernel/host.c
@@ -379,7 +379,7 @@ static int process_msg_prepare_process(unsigned long rphys)
 		goto err;
 	}
 
-	dkprintf("new process : %p [%d] / table : %p\n", proc, proc->pid,
+	dkprintf("new process : %p [%d] / table : %p\n", proc, proc->ftn->pid,
 	        proc->vm->page_table);
 
 	ihk_mc_free(pn);
diff --git a/kernel/syscall.c b/kernel/syscall.c
index b7209c7f..313b0f4b 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -1666,7 +1666,7 @@ unsigned long do_fork(int clone_flags, unsigned long newsp,
 		/* In a single threaded process TID equals to PID */
 		settid(new, 0, cpuid, -1);
 
-		dkprintf("fork(): new pid: %d\n", new->pid);
+		dkprintf("fork(): new pid: %d\n", new->ftn->pid);
 		/* clear user space PTEs and set new rpgtable so that consequent 
 		 * page faults will look up the right mappings */
 		request1.number = __NR_munmap;
diff --git a/kernel/timer.c b/kernel/timer.c
index f8286917..f8c16777 100644
--- a/kernel/timer.c
+++ b/kernel/timer.c
@@ -167,7 +167,7 @@ void wake_timers_loop(void)
 				list_del(&timer->list);
 
 				dkprintf("timers timeout occurred, waking up pid: %d\n", 
-						timer->proc->pid);
+						timer->proc->ftn->pid);
 
 				waitq_wakeup(&timer->processes);
 			}