flush_tce          67 arch/x86/kernel/tce_64.c 		flush_tce(tp);
flush_tce          82 arch/x86/kernel/tce_64.c 		flush_tce(tp);