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