Searched refs:page_config (Results 1 – 1 of 1) sorted by relevance
193 } page_config[] = { variable300 const uint64_t idx = vaddr & page_config[cur_level].index_mask; in sc_cL4_kvtov()301 const uint64_t valid_mask = page_config[cur_level].valid_mask; in sc_cL4_kvtov()302 const uint64_t type_mask = page_config[cur_level].type_mask; in sc_cL4_kvtov()303 const uint64_t type_block = page_config[cur_level].type_block; in sc_cL4_kvtov()304 const uint64_t offmask = page_config[cur_level].offmask; in sc_cL4_kvtov()307 ttep = &ttp[idx >> page_config[cur_level].shift]; in sc_cL4_kvtov()