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

/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dsmp_sys.c17 volatile word_t smp_aps_index = 1; variable
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx7/
H A Dsmp.c18 VISIBLE volatile word_t smp_aps_index = 1; variable
/seL4-refos-master/tools/elfloader/src/plat/imx7/
H A Dsmp.c18 VISIBLE volatile word_t smp_aps_index = 1; variable

Completed in 29 milliseconds