Home
last modified time | relevance | path

Searched refs:index_to_cpu_id (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/arch/x86/arch/model/
A Dsmp.h19 cpu_id_t index_to_cpu_id[CONFIG_MAX_NUM_NODES]; member
31 return cpu_mapping.index_to_cpu_id[index]; in cpuIndexToID()
36 return cpu_mapping.index_to_cpu_id[getCurrentCPUIndex()]; in getCurrentCPUID()
/seL4-master/src/arch/x86/kernel/
A Dsmp_sys.c48 cpu_mapping.index_to_cpu_id[getCurrentCPUIndex()] = boot_state.cpus[0]; in start_boot_aps()
63 cpu_mapping.index_to_cpu_id[current_ap_index] = boot_state.cpus[current_ap_index]; in start_boot_aps()

Completed in 3 milliseconds