Searched refs:decodeARMVCPUInvocation (Results 1 – 4 of 4) sorted by relevance
| /seL4-master/include/arch/arm/arch/object/ |
| A D | vcpu.h | 105 exception_t decodeARMVCPUInvocation(
|
| /seL4-master/src/arch/arm/32/object/ |
| A D | objecttype.c | 553 return decodeARMVCPUInvocation(invLabel, length, cptr, slot, cap, call, buffer);
|
| /seL4-master/src/arch/arm/64/object/ |
| A D | objecttype.c | 486 return decodeARMVCPUInvocation(label, length, cptr, slot, cap, call, buffer);
|
| /seL4-master/src/arch/arm/object/ |
| A D | vcpu.c | 470 exception_t decodeARMVCPUInvocation( in decodeARMVCPUInvocation() function
|
Completed in 21 milliseconds