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);