Searched refs:delivery_ep (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 40 seL4_CPtr delivery_ep; member in struct:irq_server_thread 49 seL4_CPtr delivery_ep; member in struct:irq_server 132 ep = my_thread_info->delivery_ep; 221 new_thread->delivery_ep = irq_server->delivery_ep; 328 simple_t *simple, seL4_CPtr cspace, seL4_CPtr delivery_ep, seL4_Word label, 361 new->delivery_ep = delivery_ep; 380 if (irq_server->delivery_ep == seL4_CapNull) { 386 msginfo = api_recv(irq_server->delivery_ep, 327 irq_server_new(vspace_t *vspace, vka_t *vka, seL4_Word priority, simple_t *simple, seL4_CPtr cspace, seL4_CPtr delivery_ep, seL4_Word label, size_t num_irqs, ps_malloc_ops_t *malloc_ops) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | irq_server.h | 71 * @param[in] delivery_ep The endpoint to send alerts about IRQ's to 77 simple_t *simple, seL4_CPtr cspace, seL4_CPtr delivery_ep,
|
Completed in 82 milliseconds