diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-05-29 18:24:28 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-05-29 18:24:28 -0700 |
commit | cffdcee338ea682c74fa778244241e2f060199bf (patch) | |
tree | 17cbc43440db766cc5aba5a03afdc07e83e03e93 /pk/vm.h | |
parent | 835d03d2160be9ee50ba5fd892554ef62fcb13b8 (diff) | |
download | pk-cffdcee338ea682c74fa778244241e2f060199bf.zip pk-cffdcee338ea682c74fa778244241e2f060199bf.tar.gz pk-cffdcee338ea682c74fa778244241e2f060199bf.tar.bz2 |
Make boot loader/SBI changes to support SMP Linux
Diffstat (limited to 'pk/vm.h')
-rw-r--r-- | pk/vm.h | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -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 |