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

/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c72 ntfn_id_t target_ntfn = thread_info->thread_id; local
73 int error = sel4platsupport_irq_handle(irq_ops, target_ntfn, badge);

Completed in 41 milliseconds