Searched refs:decodeX86FrameInvocation (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
H A D | vspace.h | 114 exception_t decodeX86FrameInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps,
|
/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 924 exception_t decodeX86FrameInvocation( function 1260 return decodeX86FrameInvocation(invLabel, length, cte, cap, excaps, buffer);
|
Completed in 80 milliseconds