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

/seL4-l4v-master/seL4/include/object/
H A Dobjecttype.h33 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge,
44 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge,
/seL4-l4v-master/seL4/src/object/
H A Dobjecttype.c655 return performInvocation_Endpoint(
661 return performInvocation_Endpoint(
778 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge, function
787 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge, function
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Dfunc_decompileLib.sml272 val names = ["performInvocation_Reply","performInvocation_Endpoint"]

Completed in 81 milliseconds