Searched refs:ntfn (Results 1 - 12 of 12) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dirq.h90 * @param ntfn Notification that the IRQ interface can used to pair interrupts with
94 ps_malloc_ops_t *malloc_ops, seL4_CPtr ntfn, seL4_Word usable_mask);
109 * @param ntfn Notification cap that is to be provided
114 ntfn_id_t sel4platsupport_irq_provide_ntfn(ps_irq_ops_t *irq_ops, seL4_CPtr ntfn,
123 * @param ntfn Notification cap that is to be provided
129 int sel4platsupport_irq_provide_ntfn_with_id(ps_irq_ops_t *irq_ops, seL4_CPtr ntfn,
H A Dtimer.h86 * @param ntfn notification object capability for irqs to be delivered to.
110 * @param ntfn notification object capability for irqs to be delivered to.
115 int sel4platsupport_init_timer_irqs(vka_t *vka, simple_t *simple, seL4_CPtr ntfn,
/seL4-test-master/kernel/include/object/
H A Dschedcontext.h65 void schedContext_bindNtfn(sched_context_t *sc, notification_t *ntfn);
H A Dobjecttype.h36 exception_t performInvocation_Notification(notification_t *ntfn,
47 exception_t performInvocation_Notification(notification_t *ntfn,
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dtimer.c70 static int setup_irq(vka_t *vka, sel4ps_irq_t *irq, seL4_Word badge, seL4_CPtr ntfn) argument
74 vka_cspace_make_path(vka, ntfn, &path);
122 static int init_timer_internal(vka_t *vka, simple_t *simple, seL4_CPtr ntfn, argument
133 error = setup_irq(vka, &timer->to.irqs[i], BIT(seL4_BadgeBits - i - 1), ntfn);
148 ps_io_ops_t ops, seL4_CPtr ntfn, seL4_timer_t *timer)
165 error = init_timer_internal(vka, simple, ntfn, timer, nirqs);
175 seL4_CPtr ntfn, seL4_timer_t *timer)
186 return sel4platsupport_init_default_timer_ops(vka, vspace, simple, ops, ntfn, timer);
192 seL4_CPtr ntfn, seL4_timer_t *timer, timer_objects_t *to)
200 return init_timer_internal(vka, simple, ntfn, time
147 sel4platsupport_init_default_timer_ops(vka_t *vka, UNUSED vspace_t *vspace, simple_t *simple, ps_io_ops_t ops, seL4_CPtr ntfn, seL4_timer_t *timer) argument
174 sel4platsupport_init_default_timer(vka_t *vka, vspace_t *vspace, simple_t *simple, seL4_CPtr ntfn, seL4_timer_t *timer) argument
191 sel4platsupport_init_timer_irqs(vka_t *vka, simple_t *simple, seL4_CPtr ntfn, seL4_timer_t *timer, timer_objects_t *to) argument
[all...]
H A Dirq.c257 ZF_LOGF_IF(error, "Failed to cleanup after a failed IRQ set ntfn operation");
267 ZF_LOGF_IF(error, "Failed to unpair a notification after a failed IRQ set ntfn operation");
269 ZF_LOGF_IF(error, "Failed to cleanup after a failed IRQ set ntfn operation");
334 static void provide_ntfn_common(irq_cookie_t *irq_cookie, seL4_CPtr ntfn, seL4_Word usable_mask, argument
338 vka_cspace_make_path(irq_cookie->vka, ntfn, &ntfn_path);
578 ps_malloc_ops_t *malloc_ops, seL4_CPtr ntfn, seL4_Word usable_mask)
584 if (ntfn == seL4_CapNull) {
605 /* Provide the ntfn */
606 provide_ntfn_common(cookie, ntfn, usable_mask, MINI_IRQ_INTERFACE_NTFN_ID);
611 ntfn_id_t sel4platsupport_irq_provide_ntfn(ps_irq_ops_t *irq_ops, seL4_CPtr ntfn, seL4_Wor argument
577 sel4platsupport_new_mini_irq_ops(ps_irq_ops_t *irq_ops, vka_t *vka, simple_t *simple, ps_malloc_ops_t *malloc_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
908 seL4_CPtr ntfn = irq_cookie->ntfn_table[ntfn_id].root_ntfn_path.capPtr; local
939 seL4_CPtr ntfn = irq_cookie->ntfn_table[ntfn_id].root_ntfn_path.capPtr; local
[all...]
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c29 seL4_CPtr ntfn; member in struct:irq_server_node
110 static irq_server_node_t *irq_server_node_new(seL4_CPtr ntfn, size_t max_irqs_bound, argument
116 new_node->ntfn = ntfn;
128 seL4_CPtr ntfn; local
133 ntfn = my_thread_info->node->ntfn;
136 ZF_LOGD("thread started. Waiting on endpoint %lu\n", ntfn);
140 seL4_Wait(ntfn, &badge);
352 /* Set max_ntfn_ids to equal the number of IRQs. We can calculate the ntfn ID
[all...]
/seL4-test-master/kernel/include/machine/
H A Dcapdl.h36 void cap_ntfn_print_attrs(cap_t ntfn);
/seL4-test-master/kernel/src/object/
H A Dobjecttype.c124 notification_t *ntfn = NTFN_PTR(cap_notification_cap_get_capNtfnPtr(cap)); local
126 schedContext_unbindNtfn(SC_PTR(notification_ptr_get_ntfnSchedContext(ntfn)));
128 unbindMaybeNotification(ntfn);
129 cancelAllSignals(ntfn);
797 exception_t performInvocation_Notification(notification_t *ntfn, word_t badge) argument
799 sendSignal(ntfn, badge);
H A Dschedcontext.c338 void schedContext_bindNtfn(sched_context_t *sc, notification_t *ntfn) argument
340 notification_ptr_set_ntfnSchedContext(ntfn, SC_REF(sc));
341 sc->scNotification = ntfn;
/seL4-test-master/kernel/src/machine/
H A Dcapdl.c214 void cap_ntfn_print_attrs(cap_t ntfn) argument
217 cap_notification_cap_get_capNtfnCanReceive(ntfn) ? putchar('R') : 0;
218 cap_notification_cap_get_capNtfnCanSend(ntfn) ? putchar('W') : 0;
219 long unsigned int badge = cap_notification_cap_get_capNtfnBadge(ntfn);
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/tests/
H A Dsyscall.c381 seL4_CPtr ntfn = vka_alloc_notification_leaky(&env->vka); local
385 seL4_Signal(ntfn);
387 ntfn, NULL, seL4_CapNull));

Completed in 127 milliseconds