/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
H A D | irq.h | 90 * @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 D | timer.h | 86 * @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 D | schedcontext.h | 65 void schedContext_bindNtfn(sched_context_t *sc, notification_t *ntfn);
|
H A D | objecttype.h | 36 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 D | timer.c | 70 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 D | irq.c | 257 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 D | irq_server.c | 29 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 D | capdl.h | 36 void cap_ntfn_print_attrs(cap_t ntfn);
|
/seL4-test-master/kernel/src/object/ |
H A D | objecttype.c | 124 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 D | schedcontext.c | 338 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 D | capdl.c | 214 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 D | syscall.c | 381 seL4_CPtr ntfn = vka_alloc_notification_leaky(&env->vka); local 385 seL4_Signal(ntfn); 387 ntfn, NULL, seL4_CapNull));
|