Searched refs:irq_server (Results 1 - 3 of 3) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
| H A D | irq_server.c | 13 #include <sel4utils/irq_server.h>
48 struct irq_server { struct
85 void *callback_data, ntfn_id_t ntfn_id, irq_server_t *irq_server)
89 irq_id_t irq_id = ps_irq_register(&(irq_server->irq_ops), irq, callback, callback_data);
96 error = sel4platsupport_irq_set_ntfn(&(irq_server->irq_ops), ntfn_id, irq_id, NULL);
99 ps_irq_unregister(&(irq_server->irq_ops), irq_id);
154 thread_id_t irq_server_thread_new(irq_server_t *irq_server, seL4_CPtr provided_ntfn, argument
175 error = vka_alloc_notification(irq_server->vka, &ntfn_obj);
187 error = sel4platsupport_irq_provide_ntfn_with_id(&(irq_server->irq_ops), ntfn_to_use,
194 ntfn_id_t ntfn_id = sel4platsupport_irq_provide_ntfn(&(irq_server
84 irq_server_node_register_irq(irq_server_node_t *node, ps_irq_t irq, irq_callback_fn_t callback, void *callback_data, ntfn_id_t ntfn_id, irq_server_t *irq_server) argument
279 irq_server_handle_irq_ipc(irq_server_t *irq_server, seL4_MessageInfo_t msginfo) argument
299 irq_server_register_irq(irq_server_t *irq_server, ps_irq_t irq, irq_callback_fn_t callback, void *callback_data) argument
375 irq_server_wait_for_irq(irq_server_t *irq_server, seL4_Word *ret_badge) argument
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | irq_server.h | 57 typedef struct irq_server irq_server_t;
94 * @param[in] irq_server A handle to the IRQ server
103 thread_id_t irq_server_thread_new(irq_server_t *irq_server, seL4_CPtr provided_ntfn,
109 * @param[in] irq_server The IRQ server which shall be responsible for the IRQ
118 irq_id_t irq_server_register_irq(irq_server_t *irq_server, ps_irq_t irq,
127 * @param[in] irq_server The IRQ server which is responsible for the received IRQ
131 void irq_server_handle_irq_ipc(irq_server_t *irq_server, seL4_MessageInfo_t msginfo);
141 * @param[in] irq_server A handle to the IRQ server
155 seL4_MessageInfo_t irq_server_wait_for_irq(irq_server_t *irq_server, seL4_Word *ret_badge);
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
| H A D | irq_combiner.h | 8 #include <sel4utils/irq_server.h>
|
Completed in 84 milliseconds