Lines Matching defs:pmap_needs_pte_sync
662 int pmap_needs_pte_sync;
952 if (PMAP_NEEDS_PTE_SYNC && pmap_is_cached(pm))
4744 * wrong setting of pmap_needs_pte_sync. So set it and retry.
4748 && pmap_needs_pte_sync == 0) {
4749 pmap_needs_pte_sync = 1;
7466 pmap_needs_pte_sync = 1;
7763 pmap_needs_pte_sync = 1;
7828 pmap_needs_pte_sync = 1;
7845 pmap_needs_pte_sync = 0;
7857 * pmap_needs_pte_sync is 1 (or the MMU can read out of cache).
Indexes created Fri Oct 03 02:09:57 GMT 2025