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

/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c166 vka_object_t ntfn_obj = {0}; local
175 error = vka_alloc_notification(irq_server->vka, &ntfn_obj);
180 ntfn_to_use = ntfn_obj.cptr;
260 if (ntfn_obj.cptr) {
261 vka_free_object(irq_server->vka, &ntfn_obj);

Completed in 32 milliseconds