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

arm-hyp haskell: correct loop range in vcpuRestore

This commit is contained in:
Miki Tanaka 2017-04-29 01:02:21 +10:00 committed by Alejandro Gomez-Londono
parent eb967add36
commit 79d7e5e4f8
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -444,11 +444,12 @@ For initialisation, see makeVCPUObject.
> let vgic = vcpuVGIC vcpu
>
> numListRegs <- gets (armKSGICVCPUNumListRegs . ksArchState)
> let gicIndices = init [0..numListRegs]
> doMachineOp $ do
> set_gic_vcpu_ctrl_vmcr (vgicVMCR vgic)
> set_gic_vcpu_ctrl_apr (vgicAPR vgic)
>
> mapM_ (uncurry set_gic_vcpu_ctrl_lr) (map (\i -> (fromIntegral i, (vgicLR vgic) ! i)) [0..numListRegs])
> mapM_ (uncurry set_gic_vcpu_ctrl_lr) (map (\i -> (fromIntegral i, (vgicLR vgic) ! i)) gicIndices)
>
> -- restore banked VCPU registers except SCTLR (that's in VCPUEnable)
> set_lr_svc (vcpuRegs vcpu ! VCPURegLRsvc)