Searched defs:decodeSchedControlInvocation (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/src/object/ | ||
H A D | schedcontrol.c | 159 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extraCaps, function |
Completed in 76 milliseconds