diff options
| -rw-r--r-- | cheri/cheri_prelude_128.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cheri/cheri_prelude_128.sail b/cheri/cheri_prelude_128.sail index ffd986a4..263dae43 100644 --- a/cheri/cheri_prelude_128.sail +++ b/cheri/cheri_prelude_128.sail @@ -126,7 +126,7 @@ function capRegToCapStruct(c) : CapReg -> CapStruct = permit_execute = c[114], global = c[113], reserved = c[112..111], - E = c[110..105] ^ 0b110000, + E = c[110..105], sealed = s, B = Bc, T = Tc, @@ -153,7 +153,7 @@ function capStructToMemBits128(cap) : CapStruct -> bits(128) = ( cap.uperms @ getCapHardPerms(cap) @ cap.reserved - @ cap.E ^ 0b110000 + @ cap.E @ cap.sealed @ b @ t |