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

/seL4-camkes-master/kernel/include/object/
H A Dtcb.h147 exception_t decodeDomainInvocation(word_t invLabel, word_t length,
/seL4-camkes-master/kernel/src/object/
H A Dobjecttype.c728 return decodeDomainInvocation(invLabel, length, excaps, buffer);
H A Dtcb.c1548 exception_t decodeDomainInvocation(word_t invLabel, word_t length, extra_caps_t excaps, word_t *buffer) function

Completed in 101 milliseconds