Lines Matching defs:ntfn
29 seL4_CPtr ntfn;
110 static irq_server_node_t *irq_server_node_new(seL4_CPtr ntfn, size_t max_irqs_bound,
116 new_node->ntfn = ntfn;
128 seL4_CPtr ntfn;
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 IDs we need,