Searched refs:gstage_pte_index (Results 1 – 1 of 1) sorted by relevance
42 static inline unsigned long gstage_pte_index(gpa_t addr, u32 level) in gstage_pte_index() function105 ptep = &ptep[gstage_pte_index(addr, current_level)]; in gstage_get_leaf_entry()117 ptep = &ptep[gstage_pte_index(addr, current_level)]; in gstage_get_leaf_entry()143 pte_t *ptep = &next_ptep[gstage_pte_index(addr, current_level)]; in gstage_set_pte()167 ptep = &next_ptep[gstage_pte_index(addr, current_level)]; in gstage_set_pte()