Implement pmap_object_init_pt() the way it is on sparc64/alpha, by doing

nothing except asserting the vm object is locked, and a device object,
instead of a useless printf.

sys/arm/arm/pmap.c

@@ -3065,7 +3065,10 @@ void
 pmap_object_init_pt(pmap_t pmap, vm_offset_t addr, vm_object_t object,
     vm_pindex_t pindex, vm_size_t size)
 {
-	printf("pmap_object_init_pt()\n");
+
+	VM_OBJECT_LOCK_ASSERT(object, MA_OWNED);
+	KASSERT(object->type == OBJT_DEVICE,
+	    ("pmap_object_init_pt: non-device object"));
 }