174     uint cpu = arch_curr_cpu_num();  in sm_queue_stdcall()  local
183                           cpu, stdcallstate.restart_count);  in sm_queue_stdcall()
186         dprintf(CRITICAL, "%s: cpu %d, std call busy\n", __func__, cpu);  in sm_queue_stdcall()
199     LTRACEF("cpu %d, queue std call 0x%x\n", cpu, args->smc_nr);  in sm_queue_stdcall()
200     stdcallstate.initial_cpu = cpu;  in sm_queue_stdcall()
207     stdcallstate.active_cpu = cpu;  in sm_queue_stdcall()
237 static void sm_return_and_wait_for_next_stdcall(long ret, int cpu) {  in sm_return_and_wait_for_next_stdcall()  argument
251             LTRACEF_LEVEL(3, "cpu %d, got nop\n", cpu);  in sm_return_and_wait_for_next_stdcall()
262     int cpu;  in sm_irq_return_ns()  local
264     cpu = arch_curr_cpu_num();  in sm_irq_return_ns()
267     LTRACEF_LEVEL(2, "got irq on cpu %d, stdcallcpu %d\n", cpu,  in sm_irq_return_ns()
269     if (stdcallstate.active_cpu == cpu) {  in sm_irq_return_ns()
276     LTRACEF_LEVEL(2, "got irq on cpu %d, return %ld\n", cpu, ret);  in sm_irq_return_ns()
278     sm_return_and_wait_for_next_stdcall(ret, cpu);  in sm_irq_return_ns()
282     int cpu;  in sm_irq_loop()  local
294     cpu = arch_curr_cpu_num();  in sm_irq_loop()
295     LTRACEF("wait for irqs for cpu %d, on cpu %d\n", eventcpu, cpu);  in sm_irq_loop()
305     uint cpu = arch_curr_cpu_num();  in sm_get_stdcall_ret()  local
309     if (stdcallstate.active_cpu != (int)cpu) {  in sm_get_stdcall_ret()
311                 __func__, stdcallstate.active_cpu, cpu, stdcallstate.last_cpu,  in sm_get_stdcall_ret()
322         LTRACEF("cpu %d, return stdcall result, %ld, initial cpu %d\n", cpu,  in sm_get_stdcall_ret()
332                 cpu, stdcallstate.initial_cpu, stdcallstate.restart_count, ret);  in sm_get_stdcall_ret()
341     int cpu;  in sm_wait_for_smcall()  local
356         cpu = arch_curr_cpu_num();  in sm_wait_for_smcall()
357         if (cpu == stdcallstate.active_cpu)  in sm_wait_for_smcall()
362         sm_return_and_wait_for_next_stdcall(ret, cpu);  in sm_wait_for_smcall()
421     for (int cpu = 0; cpu < SMP_MAX_CPUS; cpu++) {  in sm_init()  local
422         event_init(&nsirqevent[cpu], false, EVENT_FLAG_AUTOUNSIGNAL);  in sm_init()
424         snprintf(name, sizeof(name), "irq-ns-switch-%d", cpu);  in sm_init()
425         nsirqthreads[cpu] =  in sm_init()
426                 thread_create(name, sm_irq_loop, (void*)(uintptr_t)cpu,  in sm_init()
428         if (!nsirqthreads[cpu]) {  in sm_init()
429             panic("failed to create irq NS switcher thread for cpu %d!\n", cpu);  in sm_init()
431         thread_set_pinned_cpu(nsirqthreads[cpu], cpu);  in sm_init()
432         thread_set_real_time(nsirqthreads[cpu]);  in sm_init()
434         snprintf(name, sizeof(name), "idle-ns-switch-%d", cpu);  in sm_init()
435         nsidlethreads[cpu] =  in sm_init()
438         if (!nsidlethreads[cpu]) {  in sm_init()
440                   cpu);  in sm_init()
442         thread_set_pinned_cpu(nsidlethreads[cpu], cpu);  in sm_init()
443         thread_set_real_time(nsidlethreads[cpu]);  in sm_init()
458     int cpu = arch_curr_cpu_num();  in sm_handle_irq()  local
459     if (irq_thread_ready[cpu]) {  in sm_handle_irq()
460         event_signal(&nsirqevent[cpu], false);  in sm_handle_irq()
495         for (int cpu = 0; cpu < SMP_MAX_CPUS; cpu++) {  in platform_halt()  local
496             if (nsirqthreads[cpu]) {  in platform_halt()
497                 event_signal(&nsirqevent[cpu], false);  in platform_halt()