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

/seL4-test-master/kernel/src/smp/
H A Dipi.c115 word_t nr_target_cores = 0; local
122 target_cores[nr_target_cores] = index;
123 nr_target_cores++;
130 if (nr_target_cores > 0) {
133 for (int i = 0; i < nr_target_cores; i++) {

Completed in 227 milliseconds