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

/seL4-mcs-10.1.1/include/
H A Dcompound_types.h33 struct extra_caps { struct
36 typedef struct extra_caps extra_caps_t;
/seL4-mcs-10.1.1/include/object/
H A Dschedcontrol.h20 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extra_caps,

Completed in 26 milliseconds