Searched refs:decodeARMMMUInvocation (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/kernel/include/arch/arm/arch/kernel/ |
H A D | vspace.h | 46 exception_t decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr,
|
/seL4-camkes-master/kernel/src/arch/arm/32/object/ |
H A D | objecttype.c | 559 return decodeARMMMUInvocation(invLabel, length, cptr, slot, cap, excaps, buffer);
|
/seL4-camkes-master/kernel/src/arch/arm/64/object/ |
H A D | objecttype.c | 502 return decodeARMMMUInvocation(label, length, cptr, slot, cap, extraCaps, buffer);
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 2548 exception_t decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, function
|
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 2270 exception_t decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, function
|
Completed in 93 milliseconds