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

/seL4-camkes-master/kernel/src/model/
H A Dsmp.c13 void migrateTCB(tcb_t *tcb, word_t new_core) argument
19 tcb->tcbAffinity = new_core;
/seL4-camkes-master/kernel/include/model/
H A Dsmp.h24 void migrateTCB(tcb_t *tcb, word_t new_core);

Completed in 169 milliseconds