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

arm-hyp haskell: add missing isb in vcpuDisable

This commit is contained in:
Miki Tanaka 2017-04-21 12:58:39 +10:00 committed by Alejandro Gomez-Londono
parent ef6e2dc32c
commit 16b6f26483
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -361,6 +361,7 @@ For initialisation, see makeVCPUObject.
> vcpuVGIC = (vcpuVGIC vcpu) { vgicHCR = hcr }
> , vcpuRegs = regs'
> }
> doMachineOp isb
> Nothing -> return ()
>
> doMachineOp $ do