diff options
Diffstat (limited to 'arch/riscv64/kernel/vmem.c')
| -rw-r--r-- | arch/riscv64/kernel/vmem.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arch/riscv64/kernel/vmem.c b/arch/riscv64/kernel/vmem.c index 56b04f3..d7c823b 100644 --- a/arch/riscv64/kernel/vmem.c +++ b/arch/riscv64/kernel/vmem.c @@ -142,12 +142,12 @@ stat_t unmap_vpage(struct vmem *branch, vm_t vaddr) void flush_tlb() { - __asm__ volatile("sfence.vma %0\n" ::"r"(cpu_id()) : "memory"); + __asm__ volatile ("sfence.vma %0\n" : : "r" (cpu_id()) : "memory"); } void flush_tlb_all() { - __asm__ volatile("sfence.vma\n" ::: "memory"); + __asm__ volatile ("sfence.vma\n" ::: "memory"); } static void __start_vmem(struct vmem *branch, enum mm_mode m) |