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

/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c55 word_t current_ap_index = smp_aps_index; local
58 current_ap_index, boot_state.cpus[current_ap_index]);
63 cpu_mapping.index_to_cpu_id[current_ap_index] = boot_state.cpus[current_ap_index];
64 start_cpu(boot_state.cpus[current_ap_index], BOOT_NODE_PADDR);
67 while (smp_aps_index == current_ap_index);

Completed in 29 milliseconds