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

x64: fix up updateCapData for cnodes

This commit is contained in:
Joel Beeren 2017-03-29 18:27:35 +11:00
parent 33a1fed708
commit fb177b7303
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
spec/haskell/src/SEL4/Object/ObjectType.lhs
View File

@ -259,11 +259,8 @@ The total of the guard size and the radix of the node cannot exceed the number o
> mask guardBits .&. mask guardSize
> guardSize = fromIntegral $ (w `shiftR` rightsBits) .&.
> mask guardSizeBits
> rightsBits = 3
> guardBits = case finiteBitSize w of
> 32 -> 18
> 64 -> 48
> _ -> error "Unknown word size"
> rightsBits = 2
> guardBits = 18
> guardSizeBits = case finiteBitSize w of
> 32 -> 5
> 64 -> 6
@ -276,7 +273,7 @@ The total of the guard size and the radix of the node cannot exceed the number o
The C implementation only has space for 28 bits in the badge field.
> badgeBits :: Int
> badgeBits = 28
> badgeBits = wordSizeCase 28 64
The "maskCapRights" function restricts the operations that can be performed on a capability, given a set of rights.