From cffdcee338ea682c74fa778244241e2f060199bf Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Fri, 29 May 2015 18:24:28 -0700 Subject: Make boot loader/SBI changes to support SMP Linux --- pk/vm.h | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'pk/vm.h') diff --git a/pk/vm.h b/pk/vm.h index 06e0e71..71d9be2 100644 --- a/pk/vm.h +++ b/pk/vm.h @@ -46,4 +46,12 @@ uintptr_t do_mremap(uintptr_t addr, size_t old_size, size_t new_size, int flags) uintptr_t do_mprotect(uintptr_t addr, size_t length, int prot); uintptr_t do_brk(uintptr_t addr); +typedef uintptr_t pte_t; +extern pte_t* root_page_table; + +static inline void flush_tlb() +{ + asm volatile("sfence.vm"); +} + #endif -- cgit v1.1