Home
last modified time | relevance | path

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

/seL4-master/include/arch/x86/arch/kernel/
A Dept.h49 exception_t decodeX86EPTPDInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, word_t …
/seL4-master/src/arch/x86/kernel/
A Dept.c376 return decodeX86EPTPDInvocation(invLabel, length, cte, cap, buffer); in decodeX86EPTInvocation()
463 exception_t decodeX86EPTPDInvocation( in decodeX86EPTPDInvocation() function

Completed in 6 milliseconds