Home | History | Annotate | Download | only in arm32

Lines Matching defs:tst_mask

2033 	vaddr_t tst_mask;
2065 			tst_mask = md->pvh_attrs;
2068 			tst_mask = pv->pv_va;
2074 		tst_mask &= arm_cache_prefer_mask;
2078 				if (tst_mask != (pv->pv_va & arm_cache_prefer_mask))
2092 				if (tst_mask != (pv->pv_va & arm_cache_prefer_mask)) {
2113 					KDASSERT(((tst_mask ^ pv->pv_va) & arm_cache_prefer_mask) == 0);
2117 			md->pvh_attrs |= tst_mask | PVF_COLORED;
2145 				tst_mask = (md->pvh_attrs ^ pv->pv_va)
2147 				if (tst_mask) {
2148 					md->pvh_attrs ^= tst_mask;
2197 				tst_mask = md->pvh_attrs & arm_cache_prefer_mask;
2199 					KDASSERT(((tst_mask ^ pv->pv_va) & arm_cache_prefer_mask) == 0);