From 067d1bdcab31276c4cbc879692d7a5b612fc88f7 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Sun, 30 Jun 2019 19:59:07 +1000 Subject: [PATCH] riscv haskell: object numbers for LargePage and HugePage --- spec/haskell/src/SEL4/Object/ObjectType/RISCV64.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec/haskell/src/SEL4/Object/ObjectType/RISCV64.hs b/spec/haskell/src/SEL4/Object/ObjectType/RISCV64.hs index 42cd7e2f8..4faa49809 100644 --- a/spec/haskell/src/SEL4/Object/ObjectType/RISCV64.hs +++ b/spec/haskell/src/SEL4/Object/ObjectType/RISCV64.hs @@ -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)})