Searched refs:eventcpu (Results 1 – 1 of 1) sorted by relevance
284 int eventcpu = (uintptr_t)arg; in sm_irq_loop() local292 irq_thread_ready[eventcpu] = true; in sm_irq_loop()295 LTRACEF("wait for irqs for cpu %d, on cpu %d\n", eventcpu, cpu); in sm_irq_loop()297 event_wait(&nsirqevent[eventcpu]); in sm_irq_loop()