1 files changed, 2 insertions, 2 deletions

diff --git a/arch/x86/kernel/tce_64.c b/arch/x86/kernel/tce_64.c
index e3f2569b2c44..9e540fee7009 100644
--- a/arch/x86/kernel/tce_64.c
+++ b/arch/x86/kernel/tce_64.c
@@ -40,9 +40,9 @@ static inline void flush_tce(void* tceaddr)
 {
         /* a single tce can't cross a cache line */
         if (cpu_has_clflush)
-                asm volatile("clflush (%0)" :: "r" (tceaddr));
+                clflush(tceaddr);
         else
-                asm volatile("wbinvd":::"memory");
+                wbinvd();
 }
 
 void tce_build(struct iommu_table *tbl, unsigned long index,