Home
last modified time | relevance | path

Searched refs:smp_aps_index (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/x86/kernel/
A Dsmp_sys.c17 volatile word_t smp_aps_index = 1; variable
24 for (int i = 0; i < smp_aps_index; i++) { in update_logical_id_mappings()
54 while (smp_aps_index < boot_state.num_cpus) { in start_boot_aps()
55 word_t current_ap_index = smp_aps_index; in start_boot_aps()
67 while (smp_aps_index == current_ap_index); in start_boot_aps()
122 mode_init_tls(smp_aps_index); in boot_node()
129 smp_aps_index++; in boot_node()
/seL4-master/src/arch/x86/32/
A Dhead.S121 movl smp_aps_index, %ecx
/seL4-master/src/arch/x86/64/
A Dhead.S417 movq smp_aps_index, %rcx

Completed in 9 milliseconds