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

arm-hyp haskell: [squash this] fix Haskell vcpuUpdate

This commit is contained in:
Gerwin Klein 2017-04-26 21:04:41 +10:00 committed by Alejandro Gomez-Londono
parent da1aaa5014
commit 9720d48455
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
spec/haskell/src/SEL4/Object/VCPU/ARM_HYP.lhs
View File

@ -26,7 +26,7 @@ hypervisor extensions on ARM.
> import SEL4.Model
> import SEL4.Object.Structures
> import SEL4.Object.Structures.TARGET
> import SEL4.Machine.Hardware.ARM_HYP as M
> import SEL4.Machine.Hardware.ARM_HYP hiding (MachineMonad)
> import SEL4.Model.StateData.TARGET
> import SEL4.API.Failures
> import SEL4.Object.Instances()
@ -376,12 +376,12 @@ For initialisation, see makeVCPUObject.
> vcpuUpdate :: PPtr VCPU -> (VCPU -> VCPU) -> Kernel ()
> vcpuUpdate vcpuPtr f = do
> vcpu <- getObject vcpuPtr;
> vcpu <- getObject vcpuPtr
> setObject vcpuPtr (f vcpu)
> vcpuSaveRegister :: PPtr VCPU -> VCPUReg -> M.MachineMonad Word -> Kernel ()
> vcpuSaveRegister :: PPtr VCPU -> VCPUReg -> MachineMonad Word -> Kernel ()
> vcpuSaveRegister vcpuPtr r mop = do
> rval <- doMachineOp mop;
> rval <- doMachineOp mop
> vcpuUpdate vcpuPtr (\vcpu -> vcpu { vcpuRegs = (vcpuRegs vcpu) // [(r,rval)] })
> vgicUpdate :: PPtr VCPU -> (GICVCPUInterface -> GICVCPUInterface) -> Kernel ()