Searched refs:current_ptep (Results 1 – 1 of 1) sorted by relevance
376 pt_entry_t *current_ptep; member4365 if ((flush_range != NULL) && (pte_p == flush_range->current_ptep)) {6664 flush_range->current_ptep = curr_pte_p;6738 .current_ptep = NULL,7378 if ((flush_range != NULL) && (pte_p == flush_range->current_ptep)) {