Searched refs:ntfn_id (Results 1 - 3 of 3) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
H A D | irq.h | 138 * @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 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 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 D | irq_server.c | 76 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