arm/arm/pmap-v6.c

177  *  4KB (PTE2) page mappings have identical settings for the following fields:
212  *  PTE2 descriptors creation macros.
3429 	 * Examine the first PTE2 in the specified PT2. Abort if this PTE2 is
3459 	 * PTE2 maps an unexpected 4KB physical page or does not have identical
3460 	 * characteristics to the first PTE2.
3862 	npte2 = PTE2(pa, PTE2_A, vm_page_pte2_attr(m));
4634 	pte2_store(pte2p, PTE2(pa, l2prot, vm_page_pte2_attr(m)));
5612 				    ("%s: invalid PTE2", __func__));
5984 	KASSERT(pte2_load(pte2p) == 0, ("%s: PTE2 busy", __func__));
6001 	KASSERT(pte2_load(pte2p) != 0, ("%s: PTE2 not in use", __func__));