TCB_OFFSET (reference) in projects: seL4-master

Searched refs:TCB_OFFSET (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/object/
A D	structures.h	`89 #define TCB_OFFSET BIT(TCB_SIZE_BITS) macro`
/seL4-master/src/kernel/
A D	boot.c	`446 NODE_STATE_ON_CORE(ksIdleThread, i) = TCB_PTR(pptr + TCB_OFFSET); in create_idle_thread() 470 tcb_t *tcb = TCB_PTR(rootserver.tcb + TCB_OFFSET); in create_initial_thread()`
/seL4-master/src/object/
A D	objecttype.c	`521 tcb = TCB_PTR((word_t)regionBase + TCB_OFFSET); in createObject()`

Completed in 8 milliseconds