seL4_MinSchedContextBits (reference) in projects: seL4-master

Searched refs:seL4_MinSchedContextBits (Results 1 – 5 of 5) sorted by relevance

/seL4-master/src/model/
A D	statedata.c	`104 char ksIdleThreadSC[CONFIG_MAX_NUM_NODES][BIT(seL4_MinSchedContextBits)] ALIGN(BIT(seL4_MinSchedCon…`
/seL4-master/libsel4/include/sel4/
A D	constants.h	`77 #define seL4_MinSchedContextBits 8 macro`
/seL4-master/include/model/
A D	statedata.h	`119 extern char ksIdleThreadSC[CONFIG_MAX_NUM_NODES][BIT(seL4_MinSchedContextBits)];`
/seL4-master/src/kernel/
A D	boot.c	`165 size += BIT(seL4_MinSchedContextBits); // root sched context in calculate_rootserver_size() 228 rootserver.sc = alloc_rootserver_obj(seL4_MinSchedContextBits, 1); in create_rootserver_objects() 537 cap = cap_sched_context_cap_new(SC_REF(tcb->tcbSchedContext), seL4_MinSchedContextBits); in create_initial_thread()`
/seL4-master/src/object/
A D	untyped.c	`105 if (newType == seL4_SchedContextObject && userObjSize < seL4_MinSchedContextBits) { in decodeUntypedInvocation()`

Completed in 8 milliseconds