Searched refs:pte_index_shift (Results 1 – 1 of 1) sorted by relevance
39 static uint32_t pte_index_shift[] = { variable53 return (gva & pte_index_mask[level]) >> pte_index_shift[level]; in pte_index()