31 void arch_cpu_start(int cpu_num, k_thread_stack_t *stack, int sz,  in arch_cpu_start()  argument
34 	riscv_cpu_init[cpu_num].fn = fn;  in arch_cpu_start()
35 	riscv_cpu_init[cpu_num].arg = arg;  in arch_cpu_start()
41 	if (pm_cpu_on(cpu_num, (uintptr_t)&__start)) {  in arch_cpu_start()
42 		printk("Failed to boot secondary CPU %d\n", cpu_num);  in arch_cpu_start()
48 		riscv_cpu_wake_flag = _kernel.cpus[cpu_num].arch.hartid;  in arch_cpu_start()
55 	unsigned int cpu_num = 0;  in arch_secondary_cpu_init()  local
59 			cpu_num = i;  in arch_secondary_cpu_init()
62 	csr_write(mscratch, &_kernel.cpus[cpu_num]);  in arch_secondary_cpu_init()
64 	_kernel.cpus[cpu_num].arch.online = true;  in arch_secondary_cpu_init()
67 	__asm__("mv tp, %0" : : "r" (z_idle_threads[cpu_num].tls));  in arch_secondary_cpu_init()
85 	riscv_cpu_init[cpu_num].fn(riscv_cpu_init[cpu_num].arg);  in arch_secondary_cpu_init()