Searched refs:decodeARMPageTableInvocation (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2154 static exception_t decodeARMPageTableInvocation(word_t invLabel, word_t length, function
2558 return decodeARMPageTableInvocation(invLabel, length, cte,
|
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1969 static exception_t decodeARMPageTableInvocation(word_t invLabel, unsigned int length, function
2287 return decodeARMPageTableInvocation(invLabel, length, cte,
|
Completed in 32 milliseconds