Searched refs:addToBitmap (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/kernel/src/object/
H A Dtcb.c52 static inline void addToBitmap(word_t cpu, word_t dom, word_t prio) function
102 addToBitmap(SMP_TERNARY(tcb->tcbAffinity, 0), dom, prio);
137 addToBitmap(SMP_TERNARY(tcb->tcbAffinity, 0), dom, prio);

Completed in 23 milliseconds