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

arm-hyp haskell: small fix

This commit is contained in:
Miki Tanaka 2017-04-30 06:21:44 +10:00 committed by Alejandro Gomez-Londono
parent 6176e4ab60
commit cb35836c7b
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

@ -216,7 +216,7 @@ FIXME ARMHYP: this does not at this instance correspond to exactly what the C
> -- this is identical for pending/active/invalid VIRQs
> virqSetEOIIRQEN :: VIRQ -> Word -> VIRQ
> virqSetEOIIRQEN virq v =
> if virq `shiftR` 28 .&. 3 = 4
> if virq `shiftR` 28 .&. 3 == 4
> then virq
> else (virq .&. complement 0x80000) .|. ((v `shiftL` 19) .&. 0x80000)