Searched refs:decodeARMPageDirectoryInvocation (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 2044 static exception_t decodeARMPageDirectoryInvocation(word_t invLabel, word_t length, function 2554 return decodeARMPageDirectoryInvocation(invLabel, length, cptr, cte,
|
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1876 static exception_t decodeARMPageDirectoryInvocation(word_t invLabel, unsigned int length, function 2283 return decodeARMPageDirectoryInvocation(invLabel, length, cte,
|
Completed in 39 milliseconds