Searched refs:current_ptep (Results 1 – 1 of 1) sorted by relevance
410 pt_entry_t *current_ptep; member4557 if ((flush_range != NULL) && (pte_p == flush_range->current_ptep)) {7028 flush_range->current_ptep = curr_pte_p;7113 .current_ptep = NULL,7753 if ((flush_range != NULL) && (pte_p == flush_range->current_ptep)) {