system/kernel/main.cpp

89 non_boot_cpu_init(void* args, int currentCPU)
92 	if (currentCPU != 0)
93 		cpu_init_percpu(kernelArgs, currentCPU);
98 _start(kernel_args *bootKernelArgs, int currentCPU)
120 	if (currentCPU == 0)
126 	cpu_preboot_init_percpu(&sKernelArgs, currentCPU);
127 	thread_preboot_init_percpu(&sKernelArgs, currentCPU);
130 	if (smp_trap_non_boot_cpus(currentCPU, &sCpuRendezvous3)) {
144 		cpu_init_percpu(&sKernelArgs, currentCPU);
264 		smp_per_cpu_init(&sKernelArgs, currentCPU);
280 	TRACE("main: done... begin idle loop on cpu %d\n", currentCPU);