Searched refs:__ptep_ipte_local (Results 1 – 1 of 1) sorted by relevance
986 static inline void __ptep_ipte_local(unsigned long address, pte_t *ptep) in __ptep_ipte_local() function1019 __ptep_ipte_local(address, ptep); in ptep_flush_direct()