Searched refs:removeFromBitmap (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/kernel/src/object/ | ||
| H A D | tcb.c | 68 static inline void removeFromBitmap(word_t cpu, word_t dom, word_t prio) function 170 removeFromBitmap(SMP_TERNARY(tcb->tcbAffinity, 0), dom, prio); |
Completed in 27 milliseconds