aboutsummaryrefslogtreecommitdiff
path: root/pk
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@cs.berkeley.edu>2013-07-28 19:44:52 -0700
committerAndrew Waterman <waterman@cs.berkeley.edu>2013-07-28 19:44:52 -0700
commita43ca9b0643d9333666f2f05e94053c0c85ae6f2 (patch)
treecf679b1436bb4f367eba0582997e351c9cabbedd /pk
parent3168b8a9049d062192ea20e4b33fed6286e84220 (diff)
downloadriscv-pk-a43ca9b0643d9333666f2f05e94053c0c85ae6f2.zip
riscv-pk-a43ca9b0643d9333666f2f05e94053c0c85ae6f2.tar.gz
riscv-pk-a43ca9b0643d9333666f2f05e94053c0c85ae6f2.tar.bz2
use FATC, not PTBR, to flush addr translations
Diffstat (limited to 'pk')
-rw-r--r--pk/vm.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/pk/vm.c b/pk/vm.c
index 939c8af..9c0e761 100644
--- a/pk/vm.c
+++ b/pk/vm.c
@@ -156,7 +156,7 @@ static uintptr_t __vm_alloc(size_t npage)
static void flush_tlb()
{
- mtpcr(PCR_PTBR, mfpcr(PCR_PTBR));
+ mtpcr(PCR_FATC, 0);
}
static int __handle_page_fault(uintptr_t vaddr, int prot)