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

/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c17 volatile word_t smp_aps_index = 1; variable

Completed in 24 milliseconds