sel4
0.1.0
In sel4::
init_
thread::
slot
Constants
ASID_CONTROL
ASID_POOL
BOOT_INFO_FRAME
CNODE
IO_PORT_CONTROL
IPC_BUFFER
IRQ_CONTROL
NULL
SC
TCB
VSPACE
sel4
::
init_thread
::
slot
Constant
TCB
Copy item path
Settings
Help
Summary
Source
pub const TCB:
Slot
<
Tcb
>;
Expand description
Corresponds to
seL4_CapInitThreadTCB
.