From 79e1b562944b5fc1643480dd7aeaa65cd654a326 Mon Sep 17 00:00:00 2001 From: Palmer Dabbelt Date: Wed, 16 Aug 2017 11:41:49 -0700 Subject: Inform GCC that "sfence.vma" clobbers memory --- v/vm.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/v/vm.c b/v/vm.c index ae2e9e9..6ab7fd1 100644 --- a/v/vm.c +++ b/v/vm.c @@ -22,7 +22,7 @@ static void do_tohost(uint64_t tohost_value) #define pa2kva(pa) ((void*)(pa) - DRAM_BASE - MEGAPAGE_SIZE) #define uva2kva(pa) ((void*)(pa) - MEGAPAGE_SIZE) -#define flush_page(addr) asm volatile ("sfence.vma %0" : : "r" (addr)) +#define flush_page(addr) asm volatile ("sfence.vma %0" : : "r" (addr) : "memory") static uint64_t lfsr63(uint64_t x) { -- cgit v1.1