Searched defs:performInvocation_Endpoint (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/src/object/
H A Dobjecttype.c778 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge, function
787 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge, function

Completed in 96 milliseconds