tceaddr 27 arch/x86/kernel/tce_64.c static inline void flush_tce(void* tceaddr) tceaddr 31 arch/x86/kernel/tce_64.c clflush(tceaddr);