Searched refs:__cachemode2pte_tbl (Results 1 – 1 of 1) sorted by relevance
55 static uint16_t __cachemode2pte_tbl[_PAGE_CACHE_MODE_NUM] = { variable68 return __cachemode2pte_tbl[pcm]; in cachemode2protval()94 uint16_t prot = __cachemode2pte_tbl[_PAGE_CACHE_MODE_WP]; in x86_has_pat_wp()1035 __cachemode2pte_tbl[cache] = __cm_idx2pte(entry); in update_cache_mode_entry()
Completed in 6 milliseconds