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

/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c40 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 Dirq_server.h71 * @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