Searched defs:ntfn_id (Results 1 - 2 of 2) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
| H A D | irq_server.c | 194 ntfn_id_t ntfn_id = sel4platsupport_irq_provide_ntfn(&(irq_server->irq_ops), ntfn_to_use, mask_to_use); local
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
|
| /seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | irq.c | 215 static int irq_set_ntfn_common(irq_cookie_t *irq_cookie, ntfn_id_t ntfn_id, irq_id_t irq_id, argument
665 int sel4platsupport_irq_return_ntfn(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, argument
722 int sel4platsupport_irq_set_ntfn(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, irq_id_t irq_id, seL4_Word *ret_badge) argument
821 sel4platsupport_irq_handle(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, seL4_Word handle_mask) argument
890 sel4platsupport_irq_wait(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, seL4_Word wait_mask, seL4_Word *ret_leftover_bits) argument
921 sel4platsupport_irq_poll(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, seL4_Word poll_mask, seL4_Word *ret_leftover_bits) argument
[all...] |
Completed in 80 milliseconds