Searched defs:delivery_ep (Results 1 - 1 of 1) 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
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...]

Completed in 26 milliseconds