Searched defs:ntfn (Results 1 - 7 of 7) sorted by relevance
/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
|
/seL4-test-master/kernel/src/object/ |
H A D | schedcontext.c | 338 void schedContext_bindNtfn(sched_context_t *sc, notification_t *ntfn) argument
|
H A D | objecttype.c | 124 notification_t *ntfn = NTFN_PTR(cap_notification_cap_get_capNtfnPtr(cap)); local 797 exception_t performInvocation_Notification(notification_t *ntfn, word_t badge) argument
|
/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 122 static int init_timer_internal(vka_t *vka, simple_t *simple, seL4_CPtr ntfn, argument 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 | 334 static void provide_ntfn_common(irq_cookie_t *irq_cookie, seL4_CPtr ntfn, seL4_Word usable_mask, argument 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/kernel/src/machine/ |
H A D | capdl.c | 214 void cap_ntfn_print_attrs(cap_t ntfn) argument
|
/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 128 seL4_CPtr ntfn; local [all...] |
Completed in 126 milliseconds