--- zzzz-none-000/linux-2.6.19.2/arch/avr32/kernel/ptrace.c	2007-01-10 19:10:37.000000000 +0000
+++ davinci-8020-5505/linux-2.6.19.2/arch/avr32/kernel/ptrace.c	2007-01-11 07:38:19.000000000 +0000
@@ -157,7 +157,7 @@
 	unsigned long tmp;
 	int ret;
 
-	pr_debug("arch_ptrace(%ld, %d, %#lx, %#lx)\n",
+	pr_debug("arch_ptrace(%ld, %ld, %#lx, %#lx)\n",
 		 request, child->pid, addr, data);
 
 	pr_debug("ptrace: Enabling monitor mode...\n");