Searched refs:cache_bits_pde (Results 1 – 1 of 1) sorted by relevance
5618 int cache_bits_pte, cache_bits_pde; in __CONCAT() local5631 cache_bits_pde = pmap_cache_bits(kernel_pmap, mode, 1); in __CONCAT()5653 if ((*pde & PG_PDE_CACHE) == cache_bits_pde) { in __CONCAT()5690 if ((*pde & PG_PDE_CACHE) != cache_bits_pde) { in __CONCAT()5691 pmap_pde_attr(pde, cache_bits_pde); in __CONCAT()