Searched defs:poolPtr (Results 1 - 8 of 8) sorted by relevance
| /seL4-camkes-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) argument
131 static inline exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *cte) argument
|
| /seL4-camkes-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) argument
|
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | ept.c | 44 asid_pool_t *poolPtr; local
|
| H A D | vspace.c | 79 asid_pool_t *poolPtr; local
535 asid_pool_t *poolPtr; local
|
| /seL4-camkes-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) argument
|
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 320 asid_pool_t *poolPtr; local
476 static exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot) argument
494 asid_pool_t *poolPtr; local
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 644 asid_pool_t *poolPtr; local
1348 asid_pool_t *poolPtr; local
2012 static exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, argument
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 562 asid_pool_t *poolPtr; local
1398 asid_pool_t *poolPtr; local
|
Completed in 109 milliseconds