x86: fixes read_tsc_serialized()
[akaros.git] / kern / arch / x86 / arch.h
index 5042f97..3252d1b 100644 (file)
@@ -84,7 +84,7 @@ static inline uint64_t read_tscp(void)
 /* Check out k/a/x86/rdtsc_test.c for more info */
 static inline uint64_t read_tsc_serialized(void)
 {
-       asm volatile("lfence"); /* mfence on amd */
+       asm volatile("lfence" ::: "memory");    /* mfence on amd? */
        return read_tsc();
 }