adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

riscv haskell: unmapPage updated to check mapping ptr in C 

removed FIXME
This commit is contained in:
Gerwin Klein 2018-06-27 09:17:09 +02:00
parent 23a1bae103
commit 3a88648ec4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
spec/haskell/src/SEL4/Kernel/VSpace/RISCV64.hs
View File

@ -263,7 +263,7 @@ unmapPage size asid vptr pptr = ignoreFailure $ do
(bitsLeft, slot) <- withoutFailure $ lookupPTSlot vspace vptr
unless (bitsLeft == pageBitsForSize size) $ throw InvalidRoot
pte <- withoutFailure $ getObject slot
checkMappingPPtr pptr pte -- FIXME RISCV: wait for C sync, then remove
checkMappingPPtr pptr pte
withoutFailure $ storePTE slot InvalidPTE
withoutFailure $ doMachineOp sfence