==== //depot/user/benno/arm/sys/arm/arm/pmap.c#1 - /home/suleiman/freebsd/p4/arm/sys/arm/arm/pmap.c ====
--- /tmp/tmp.70188.0	Tue May 30 18:11:30 2006
+++ /home/suleiman/freebsd/p4/arm/sys/arm/arm/pmap.c	Tue May 30 18:10:45 2006
@@ -3067,7 +3067,7 @@ pmap_is_prefaultable(pmap_t pmap, vm_off
 
 	if (!pmap_get_pde_pte(pmap, addr, &pde, &pte))
 		return (FALSE);
-	if (*pte == 0)
+	if (pte && *pte == 0)
 		return (TRUE);
 	return (FALSE);
 }