sel4
0.1.0
In sel4::
init_
thread::
slot
Constant
sel4
::
init_thread
::
slot
::
VSPACE
Copy item path
source
ยท
[
−
]
pub const VSPACE:
Slot
<
VSpace
>;
Expand description
Corresponds to
seL4_CapInitThreadVSpace
.