diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2013-07-28 19:44:52 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2013-07-28 19:44:52 -0700 |
commit | a43ca9b0643d9333666f2f05e94053c0c85ae6f2 (patch) | |
tree | cf679b1436bb4f367eba0582997e351c9cabbedd /pk | |
parent | 3168b8a9049d062192ea20e4b33fed6286e84220 (diff) | |
download | pk-a43ca9b0643d9333666f2f05e94053c0c85ae6f2.zip pk-a43ca9b0643d9333666f2f05e94053c0c85ae6f2.tar.gz pk-a43ca9b0643d9333666f2f05e94053c0c85ae6f2.tar.bz2 |
use FATC, not PTBR, to flush addr translations
Diffstat (limited to 'pk')
-rw-r--r-- | pk/vm.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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) |