Searched refs:current_ptep (Results 1 – 1 of 1) sorted by relevance
410 pt_entry_t *current_ptep; member4951 if ((flush_range != NULL) && (pte_p == flush_range->current_ptep)) {7453 flush_range->current_ptep = curr_pte_p;7538 .current_ptep = NULL,8178 if ((flush_range != NULL) && (pte_p == flush_range->current_ptep)) {