Home
last modified time | relevance | path

Searched refs:decodeX86FrameInvocation (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/arch/x86/arch/kernel/
A Dvspace.h114 exception_t decodeX86FrameInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, word_t …
/seL4-master/src/arch/x86/kernel/
A Dvspace.c924 exception_t decodeX86FrameInvocation( in decodeX86FrameInvocation() function
1257 return decodeX86FrameInvocation(invLabel, length, cte, cap, buffer); in decodeX86MMUInvocation()

Completed in 7 milliseconds