Searched defs:poolPtr (Results 1 – 8 of 8) sorted by relevance
| /seL4-master/include/arch/arm/arch/64/mode/kernel/ |
| A D | vspace.h | 87 static inline exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *cte) in performASIDPoolInvocation()
131 static inline exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *cte) in performASIDPoolInvocation()
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 320 asid_pool_t *poolPtr; in findVSpaceForASID() local
476 static exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlo… in performASIDPoolInvocation()
494 asid_pool_t *poolPtr; in deleteASID() local
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace_32paging.c | 197 exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot) in performASIDPoolInvocation()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 79 asid_pool_t *poolPtr; in deleteASID() local
535 asid_pool_t *poolPtr; in findMapForASID() local
|
| A D | ept.c | 44 asid_pool_t *poolPtr; in deleteEPTASID() local
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 603 asid_pool_t *poolPtr; in findPDForASID() local
1299 asid_pool_t *poolPtr; in deleteASID() local
1963 static exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr,
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 567 asid_pool_t *poolPtr; in findVSpaceForASID() local
1403 asid_pool_t *poolPtr; in deleteASID() local
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 801 exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot) in performASIDPoolInvocation()
|
Completed in 42 milliseconds