Searched refs:thread_id_to_use (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c184 thread_id_t thread_id_to_use = -1; local
192 thread_id_to_use = id_hint;
200 thread_id_to_use = ntfn_id;
224 new_thread->thread_id = thread_id_to_use;
250 return thread_id_to_use;
255 if (thread_id_to_use) {
256 ZF_LOGF_IF(sel4platsupport_irq_return_ntfn(&(irq_server->irq_ops), thread_id_to_use, NULL),

Completed in 25 milliseconds