Searched refs:__cachemode2pte_tbl (Results 1 – 1 of 1) sorted by relevance
52 static uint16_t __cachemode2pte_tbl[_PAGE_CACHE_MODE_NUM] = { variable65 return __cachemode2pte_tbl[pcm]; in cachemode2protval()91 uint16_t prot = __cachemode2pte_tbl[_PAGE_CACHE_MODE_WP]; in x86_has_pat_wp()1052 __cachemode2pte_tbl[cache] = __cm_idx2pte(entry); in update_cache_mode_entry()
