Home
last modified time | relevance | path

Searched refs:cache_bits_pte (Results 1 – 1 of 1) sorted by relevance

/freebsd-13.1/sys/i386/i386/
H A Dpmap.c5631 int cache_bits_pte, cache_bits_pde; in __CONCAT() local
5645 cache_bits_pte = pmap_cache_bits(kernel_pmap, mode, 0); in __CONCAT()
5710 if ((*pte & PG_PTE_CACHE) != cache_bits_pte) { in __CONCAT()
5711 pmap_pte_attr(pte, cache_bits_pte); in __CONCAT()