summaryrefslogtreecommitdiff
path: root/cheri/sail_latex/sailCapStruct.tex
blob: 4b9a3386720c5c68193ce136572578c2c804af5c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
struct CapStruct = {
  tag                     : bool    ,
  padding                 : #\hyperref[zbits]{bits}#(8) ,
  otype                   : #\hyperref[zbits]{bits}#(24),
  uperms                  : #\hyperref[zbits]{bits}#(16),
  perm_reserved11_14      : #\hyperref[zbits]{bits}#(4) ,
  access_system_regs      : bool    ,
  permit_unseal           : bool    ,
  permit_ccall            : bool    ,
  permit_seal             : bool    ,
  permit_store_local_cap  : bool    ,
  permit_store_cap        : bool    ,
  permit_load_cap         : bool    ,
  permit_store            : bool    ,
  permit_load             : bool    ,
  permit_execute          : bool    ,
  global                  : bool    ,
  sealed                  : bool    ,
  address                 : #\hyperref[zbits]{bits}#(64),
  base                    : #\hyperref[zbits]{bits}#(64),
  length                  : #\hyperref[zbits]{bits}#(64),
}