there seems to be a tiny typo in sys/arch/arm/arm32/pmap.c.
With the following patch applied I get a working kernel again:
Index: pmap.c
===================================================================
RCS file: /cvsroot/src/sys/arch/arm/arm32/pmap.c,v
retrieving revision 1.284
diff -u -r1.284 pmap.c
--- pmap.c 11 Apr 2014 04:19:47 -0000 1.284
+++ pmap.c 12 Apr 2014 08:18:44 -0000
@@ -7813,7 +7813,7 @@
#if defined(PMAP_CACHE_VIPT) && !defined(ARM_MMU_EXTENDED)
if (arm_cache_prefer_mask != 0) {
struct vm_page * const pg = PHYS_TO_VM_PAGE(pa);
- struct vn_page_md * const md = VM_PAGE_TO_MD(pg);
+ struct vm_page_md * const md = VM_PAGE_TO_MD(pg);
pmap_acquire_page_lock(md);
pmap_vac_me_harder(md, pa, pmap_kernel(), va);
pmap_release_page_lock(md);
Kurt