Module sel4::init_thread::slot

Constants

• ASID_CONTROL
• ASID_POOL
• BOOT_INFO_FRAME
• CNODE
• IO_PORT_CONTROL
• IPC_BUFFER
• IRQ_CONTROL
• NULL
• SC
• TCB
• VSPACE