| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 137 static inline int ps_irq_register(ps_irq_ops_t *irq_ops, ps_irq_t irq, irq_callback_fn_t callback, void *callback_data) argument
143 static inline int ps_irq_unregister(ps_irq_ops_t *irq_ops, irq_id_t irq_id) argument
|
| H A D | io.h | 507 ps_irq_ops_t irq_ops; member in struct:ps_io_ops
|
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 137 static inline int ps_irq_register(ps_irq_ops_t *irq_ops, ps_irq_t irq, irq_callback_fn_t callback, void *callback_data) argument
143 static inline int ps_irq_unregister(ps_irq_ops_t *irq_ops, irq_id_t irq_id) argument
|
| H A D | io.h | 507 ps_irq_ops_t irq_ops; member in struct:ps_io_ops
|
| /seL4-refos-master/libs/libsel4utils/src/irq_server/ |
| H A D | irq_server.c | 64 ps_irq_ops_t irq_ops; member in struct:irq_server
125 static void _irq_thread_entry(irq_server_thread_t *my_thread_info, ps_irq_ops_t *irq_ops) argument
69 irq_server_node_handle_irq(irq_server_thread_t *thread_info, ps_irq_ops_t *irq_ops, seL4_Word badge) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
| H A D | irq_server.c | 64 ps_irq_ops_t irq_ops; member in struct:irq_server
125 static void _irq_thread_entry(irq_server_thread_t *my_thread_info, ps_irq_ops_t *irq_ops) argument
69 irq_server_node_handle_irq(irq_server_thread_t *thread_info, ps_irq_ops_t *irq_ops, seL4_Word badge) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | irq.c | 553 int sel4platsupport_new_irq_ops(ps_irq_ops_t *irq_ops, vka_t *vka, simple_t *simple, argument
577 int sel4platsupport_new_mini_irq_ops(ps_irq_ops_t *irq_ops, vka_t *vka, simple_t *simple, argument
611 sel4platsupport_irq_provide_ntfn(ps_irq_ops_t *irq_ops, seL4_CPtr ntfn, seL4_Word usable_mask) argument
638 sel4platsupport_irq_provide_ntfn_with_id(ps_irq_ops_t *irq_ops, seL4_CPtr ntfn, seL4_Word usable_mask, ntfn_id_t id_hint) argument
665 sel4platsupport_irq_return_ntfn(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, seL4_CPtr *ret_cptr) argument
722 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
748 sel4platsupport_irq_unset_ntfn(ps_irq_ops_t *irq_ops, irq_id_t irq_id) 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...] |
| /seL4-refos-master/libs/libsel4platsupport/src/ |
| H A D | irq.c | 553 int sel4platsupport_new_irq_ops(ps_irq_ops_t *irq_ops, vka_t *vka, simple_t *simple, argument
577 int sel4platsupport_new_mini_irq_ops(ps_irq_ops_t *irq_ops, vka_t *vka, simple_t *simple, argument
611 sel4platsupport_irq_provide_ntfn(ps_irq_ops_t *irq_ops, seL4_CPtr ntfn, seL4_Word usable_mask) argument
638 sel4platsupport_irq_provide_ntfn_with_id(ps_irq_ops_t *irq_ops, seL4_CPtr ntfn, seL4_Word usable_mask, ntfn_id_t id_hint) argument
665 sel4platsupport_irq_return_ntfn(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, seL4_CPtr *ret_cptr) argument
722 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
748 sel4platsupport_irq_unset_ntfn(ps_irq_ops_t *irq_ops, irq_id_t irq_id) 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...] |