Searched refs:ntfn_id (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dirq.h138 * @param ntfn_id ID of a notification that was provided to the interface
143 int sel4platsupport_irq_return_ntfn(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id,
152 * @param ntfn_id ID of a notification that was provided to the interface
158 int sel4platsupport_irq_set_ntfn(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id,
181 * @param ntfn_id ID of a notification that was provided to the interface
186 int sel4platsupport_irq_handle(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, seL4_Word handle_mask);
195 * @param ntfn_id ID of a notification that was provided to the interface
201 int sel4platsupport_irq_wait(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id,
209 * @param ntfn_id ID of a notification that was provided to the interface
215 int sel4platsupport_irq_poll(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id,
[all...]
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dirq.c215 static int irq_set_ntfn_common(irq_cookie_t *irq_cookie, ntfn_id_t ntfn_id, irq_id_t irq_id, argument
225 ntfn_entry_t *ntfn_entry = &(irq_cookie->ntfn_table[ntfn_id]);
284 irq_entry->paired_ntfn = ntfn_id;
665 int sel4platsupport_irq_return_ntfn(ps_irq_ops_t *irq_ops, ntfn_id_t ntfn_id, argument
679 if (!check_ntfn_id_is_valid(irq_cookie, ntfn_id)) {
683 if (!check_ntfn_id_is_allocated(irq_cookie, ntfn_id)) {
687 ntfn_entry_t *ntfn_entry = &(irq_cookie->ntfn_table[ntfn_id]);
717 unfill_bit_in_bitfield(irq_cookie->allocated_ntfn_bitfields, ntfn_id);
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
735 if (!check_ntfn_id_is_valid(irq_cookie, ntfn_id) ||
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-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c76 ZF_LOGE("Passed in a wrong ntfn_id to the IRQ interface! Something is very wrong with the IRQ server");
85 void *callback_data, ntfn_id_t ntfn_id, irq_server_t *irq_server)
96 error = sel4platsupport_irq_set_ntfn(&(irq_server->irq_ops), ntfn_id, irq_id, NULL);
194 ntfn_id_t ntfn_id = sel4platsupport_irq_provide_ntfn(&(irq_server->irq_ops), ntfn_to_use, mask_to_use); local
195 if (ntfn_id < 0) {
197 error = ntfn_id;
200 thread_id_to_use = ntfn_id;
313 /* thread_id is synonymous with a ntfn_id */
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

Completed in 87 milliseconds