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