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

arm-hyp haskell: fix wrong register name in new vcpuSave

This commit is contained in:
Miki Tanaka 2017-04-28 00:09:58 +10:00 committed by Alejandro Gomez-Londono
parent a36043fec1
commit ce4d7ba056
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/Object/VCPU/ARM_HYP.lhs
View File

@ -404,7 +404,7 @@ For initialisation, see makeVCPUObject.
> vgicUpdate vcpuPtr (\vgic -> vgic { vgicVMCR = vmcr })
>
> apr <- doMachineOp get_gic_vcpu_ctrl_apr
> vgicUpdate vcpuPtr (\vgic -> vgic { vgicAPR = vmcr })
> vgicUpdate vcpuPtr (\vgic -> vgic { vgicAPR = apr })
>
> numListRegs <- gets (armKSGICVCPUNumListRegs . ksArchState)
> let gicIndices = init [0..numListRegs]