ASID_CONTROL
sel4
0.1.0
In sel4::
init_
thread::
slot
sel4
::
init_thread
::
slot
Constant
ASID_
CONTROL
Copy item path
Source
pub const ASID_CONTROL:
Slot
<
AsidControl
>;
Expand description
Corresponds to
seL4_CapASIDControl
.