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

/seL4-refos-master/kernel/src/model/
H A Dsmp.c13 void migrateTCB(tcb_t *tcb, word_t new_core) argument

Completed in 26 milliseconds