Index: pmap.c
===================================================================
RCS file: /cvs/src/sys/arch/arm/arm/pmap.c,v
retrieving revision 1.49
diff -u -p -r1.49 pmap.c
--- pmap.c	9 Dec 2014 06:58:28 -0000	1.49
+++ pmap.c	23 Dec 2014 01:18:30 -0000
@@ -3978,7 +3978,7 @@ pmap_bootstrap(pd_entry_t *kernel_l1pt, 
 	 * Initialise the L2 descriptor table pool and cache
 	 */
 	pool_init(&pmap_l2ptp_pool, L2_TABLE_SIZE_REAL, L2_TABLE_SIZE_REAL, 0,
-	    0, "l2ptppl", NULL);
+	    0, "l2ptppl", &pool_allocator_nointr);
 
 	cpu_dcache_wbinv_all();
 }
Index: pmap7.c
===================================================================
RCS file: /cvs/src/sys/arch/arm/arm/pmap7.c,v
retrieving revision 1.18
diff -u -p -r1.18 pmap7.c
--- pmap7.c	16 Nov 2014 12:30:56 -0000	1.18
+++ pmap7.c	23 Dec 2014 01:18:30 -0000
@@ -2898,7 +2898,7 @@ pmap_bootstrap(pd_entry_t *kernel_l1pt, 
 	 * Initialise the L2 descriptor table pool.
 	 */
 	pool_init(&pmap_l2ptp_pool, L2_TABLE_SIZE_REAL, L2_TABLE_SIZE_REAL, 0,
-	    0, "l2ptppl", NULL);
+	    0, "l2ptppl", &pool_allocator_nointr);
 
 	cpu_dcache_wbinv_all();
 	cpu_sdcache_wbinv_all();