flush_tce          55 arch/x86/kernel/tce_64.c 		flush_tce(tp);
flush_tce          70 arch/x86/kernel/tce_64.c 		flush_tce(tp);