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