Searched refs:flush_tce (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/arch/x86/kernel/ | ||
| D | tce_64.c | 40 static inline void flush_tce(void* tceaddr) in flush_tce() function |
Searched refs:flush_tce (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/arch/x86/kernel/ | ||
| D | tce_64.c | 40 static inline void flush_tce(void* tceaddr) in flush_tce() function |