Searched refs:vspaceCap (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/kernel/src/arch/arm/object/
H A Dsmmu.c254 cap_t vspaceCap; local
282 vspaceCap = vspaceCapSlot->cap;
284 if (unlikely(!isVTableRoot(vspaceCap) || !cap_vtable_root_isMapped(vspaceCap))) {
302 smmu_cb_assign_vspace(cb, cap_vtable_root_get_basePtr(vspaceCap),
303 cap_vtable_root_get_mappedASID(vspaceCap));
305 cteInsert(vspaceCap, vspaceCapSlot, cbSlot);
308 smmuStateCBAsidTable[cb] = cap_vtable_root_get_mappedASID(vspaceCap);
309 increaseASIDBindCB(cap_vtable_root_get_mappedASID(vspaceCap));
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c939 cap_t vspaceCap; local
957 vspaceCap = excaps.excaprefs[0]->cap;
961 if (!isValidNativeRoot(vspaceCap)) {
968 vspace = (vspace_root_t *)pptr_of_cap(vspaceCap);
969 asid = cap_get_capMappedASID(vspaceCap);
1143 cap_t vspaceCap; local
1182 vspaceCap = excaps.excaprefs[0]->cap;
1184 if (!isValidNativeRoot(vspaceCap)) {
1191 vspace = (vspace_root_t *)pptr_of_cap(vspaceCap);
1192 asid = cap_get_capMappedASID(vspaceCap);
1341 cap_t vspaceCap; local
[all...]
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1145 cap_t vspaceCap; local
1185 vspaceCap = extraCaps.excaprefs[0]->cap;
1187 if (!isValidNativeRoot(vspaceCap)) {
1194 vspace = (vspace_root_t *)pptr_of_cap(vspaceCap);
1195 asid = cap_get_capMappedASID(vspaceCap);
1310 cap_t vspaceCap; local
1350 vspaceCap = extraCaps.excaprefs[0]->cap;
1352 if (!isValidNativeRoot(vspaceCap)) {
1359 vspace = (vspace_root_t *)pptr_of_cap(vspaceCap);
1360 asid = cap_get_capMappedASID(vspaceCap);
[all...]
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c1015 cap_t vspaceCap; local
1033 vspaceCap = vspaceCapSlot->cap;
1036 cap_get_capType(vspaceCap) != cap_page_table_cap ||
1037 cap_page_table_cap_get_capPTIsMapped(vspaceCap))) {
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c2367 cap_t vspaceCap; local
2386 vspaceCap = vspaceCapSlot->cap;
2388 if (unlikely(!isVTableRoot(vspaceCap) || cap_vtable_root_isMapped(vspaceCap))) {

Completed in 190 milliseconds