Searched refs:vspaceCapSlot (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-master/seL4/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
201 if (cap_get_capType(vspaceCapSlot->cap) == cap_ept_pml4_cap) {
202 cap_ept_pml4_cap_ptr_set_capPML4MappedASID(&vspaceCapSlot->cap, asid);
203 cap_ept_pml4_cap_ptr_set_capPML4IsMapped(&vspaceCapSlot->cap, 1);
204 asid_map = asid_map_asid_map_ept_new(cap_ept_pml4_cap_get_capPML4BasePtr(vspaceCapSlot->cap));
208 assert(cap_get_capType(vspaceCapSlot->cap) == cap_page_directory_cap);
209 cap_page_directory_cap_ptr_set_capPDMappedASID(&vspaceCapSlot->cap, asid);
210 cap_page_directory_cap_ptr_set_capPDIsMapped(&vspaceCapSlot->cap, 1);
211 asid_map = asid_map_asid_map_vspace_new(cap_page_directory_cap_get_capPDBasePtr(vspaceCapSlot->cap));
|
| /seL4-l4v-master/seL4/src/arch/arm/object/ |
| H A D | smmu.c | 255 cte_t *vspaceCapSlot; local
281 vspaceCapSlot = extraCaps.excaprefs[0];
282 vspaceCap = vspaceCapSlot->cap;
305 cteInsert(vspaceCap, vspaceCapSlot, cbSlot);
|
| /seL4-l4v-master/seL4/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
805 if (cap_get_capType(vspaceCapSlot->cap) == cap_ept_pml4_cap) {
806 cap_ept_pml4_cap_ptr_set_capPML4MappedASID(&vspaceCapSlot->cap, asid);
807 cap_ept_pml4_cap_ptr_set_capPML4IsMapped(&vspaceCapSlot->cap, 1);
808 asid_map = asid_map_asid_map_ept_new(cap_ept_pml4_cap_get_capPML4BasePtr(vspaceCapSlot->cap));
812 assert(cap_get_capType(vspaceCapSlot->cap) == cap_pml4_cap);
813 cap_pml4_cap_ptr_set_capPML4MappedASID(&vspaceCapSlot->cap, asid);
814 cap_pml4_cap_ptr_set_capPML4IsMapped(&vspaceCapSlot->cap, 1);
815 asid_map = asid_map_asid_map_vspace_new(cap_pml4_cap_get_capPML4BasePtr(vspaceCapSlot->cap));
|
| /seL4-l4v-master/seL4/src/arch/riscv/kernel/ |
| H A D | vspace.c | 476 static exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot) argument
478 cap_t cap = vspaceCapSlot->cap;
483 vspaceCapSlot->cap = cap;
1016 cte_t *vspaceCapSlot; local
1032 vspaceCapSlot = extraCaps.excaprefs[0];
1033 vspaceCap = vspaceCapSlot->cap;
1072 return performASIDPoolInvocation(asid, pool, vspaceCapSlot);
|
| /seL4-l4v-master/seL4/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 85 exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *vspaceCapSlot);
|
| /seL4-l4v-master/seL4/src/arch/x86/kernel/ |
| H A D | vspace.c | 1342 cte_t *vspaceCapSlot; local
1358 vspaceCapSlot = excaps.excaprefs[0];
1359 vspaceCap = vspaceCapSlot->cap;
1398 return performASIDPoolInvocation(asid, pool, vspaceCapSlot);
|
| /seL4-l4v-master/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 2368 cte_t *vspaceCapSlot; local
2385 vspaceCapSlot = extraCaps.excaprefs[0];
2386 vspaceCap = vspaceCapSlot->cap;
2425 return performASIDPoolInvocation(asid, pool, vspaceCapSlot);
|
Completed in 111 milliseconds