Searched defs:performASIDPoolInvocation (Results 1 - 5 of 5) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/ |
| H A D | vspace.h | 87 static inline exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *cte) function
131 static inline exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *cte) function
|
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 197 exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot) function
|
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 801 exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot) function
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 476 static exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot) function
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2012 static exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, function
|
Completed in 105 milliseconds