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

riscv haskell: object numbers for LargePage and HugePage

This commit is contained in:
Gerwin Klein 2019-06-30 19:59:07 +10:00
parent 2d9afdf7be
commit 067d1bdcab
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
spec/haskell/src/SEL4/Object/ObjectType/RISCV64.hs
View File

@ -160,14 +160,14 @@ createObject t regionBase _ isDevice =
return $! FrameCap (pointerCast regionBase)
VMReadWrite RISCVSmallPage isDevice Nothing
Arch.Types.LargePageObject -> do
placeNewDataObject regionBase 0 isDevice
placeNewDataObject regionBase ptTranslationBits isDevice
modify (\ks -> ks { gsUserPages =
funupd (gsUserPages ks)
(fromPPtr regionBase) (Just RISCVLargePage)})
return $! FrameCap (pointerCast regionBase)
VMReadWrite RISCVLargePage isDevice Nothing
Arch.Types.HugePageObject -> do
placeNewDataObject regionBase 0 isDevice
placeNewDataObject regionBase (ptTranslationBits+ptTranslationBits) isDevice
modify (\ks -> ks { gsUserPages =
funupd (gsUserPages ks)
(fromPPtr regionBase) (Just RISCVHugePage)})