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 ,
uperms : #\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 ,
reserved : #\hyperref[zbits]{bits}#(2) ,
E : #\hyperref[zbits]{bits}#(6) ,
sealed : bool ,
B : #\hyperref[zbits]{bits}#(20),
T : #\hyperref[zbits]{bits}#(20),
otype : #\hyperref[zbits]{bits}#(24),
address : #\hyperref[zbits]{bits}#(64)
}
|
