Searched refs:current_ptep (Results 1 – 1 of 1) sorted by relevance
378 pt_entry_t *current_ptep; member4387 if ((flush_range != NULL) && (pte_p == flush_range->current_ptep)) {6696 flush_range->current_ptep = curr_pte_p;6781 .current_ptep = NULL,7421 if ((flush_range != NULL) && (pte_p == flush_range->current_ptep)) {