diff -r bbf2db4ddf54 arch/powerpc/platforms/xen/xencomm.c
--- a/arch/powerpc/platforms/xen/xencomm.c	Tue Dec 19 09:22:37 2006 -0500
+++ b/arch/powerpc/platforms/xen/xencomm.c	Tue Jan 09 14:50:55 2007 -0600
@@ -36,9 +36,6 @@ unsigned long xencomm_vtop(unsigned long
 	if (vaddr == 0)
 		return 0;
 
-	if (is_kernel_addr(vaddr))
-		return __pa(vaddr);
-
 	/* XXX double-check (lack of) locking */
 	vma = find_extend_vma(current->mm, vaddr);
 	BUG_ON(!vma);