Expand description
Initial CSpace slot constants corresponding to seL4_Cap*.
Constantsยง
- ASID_
CONTROL - Corresponds to
seL4_CapASIDControl. - ASID_
POOL - Corresponds to
seL4_CapInitThreadASIDPool. - BOOT_
INFO_ FRAME - Corresponds to
seL4_CapBootInfoFrame. - CNODE
- Corresponds to
seL4_CapInitThreadCNode. - IO_
PORT_ CONTROL - Corresponds to
seL4_CapIOPortControl. - IPC_
BUFFER - Corresponds to
seL4_CapInitThreadIPCBuffer. - IRQ_
CONTROL - Corresponds to
seL4_CapIRQControl. - NULL
- Corresponds to
seL4_CapNull. - SC
- Corresponds to
seL4_CapInitThreadSC. - SMC
- Corresponds to
seL4_CapSMC. - TCB
- Corresponds to
seL4_CapInitThreadTCB. - VSPACE
- Corresponds to
seL4_CapInitThreadVSpace.