sel4::init_thread

Module slot

Source
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.
  • TCB
    Corresponds to seL4_CapInitThreadTCB.
  • VSPACE
    Corresponds to seL4_CapInitThreadVSpace.