Searched refs:threadRoot (Results 1 - 8 of 8) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 353 cap_t threadRoot; local
358 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap;
361 if (cap_get_capType(threadRoot) != cap_page_directory_cap) {
366 vspace_root = (vspace_root_t *)pptr_of_cap(threadRoot);
|
| H A D | vspace.c | 590 cap_t threadRoot; local
595 threadRoot = TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap;
597 vspace_root = getValidNativeRoot(threadRoot);
604 asid = cap_get_capMappedASID(threadRoot);
|
| /seL4-camkes-master/kernel/src/kernel/ |
| H A D | cspace.c | 53 cap_t threadRoot; local
57 threadRoot = TCB_PTR_CTE_PTR(thread, tcbCTable)->cap;
58 res_ret = resolveAddressBits(threadRoot, capptr, wordBits);
|
| /seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 474 cap_t threadRoot; local
480 threadRoot = TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap;
482 if (cap_get_capType(threadRoot) != cap_pml4_cap ||
483 !cap_pml4_cap_get_capPML4IsMapped(threadRoot)) {
488 pml4 = PML4E_PTR(cap_pml4_cap_get_capPML4BasePtr(threadRoot));
489 asid = cap_pml4_cap_get_capPML4MappedASID(threadRoot);
1588 cap_t threadRoot; local
1593 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap;
1596 if (cap_get_capType(threadRoot) != cap_pml4_cap) {
1601 vspace_root = (vspace_root_t *)pptr_of_cap(threadRoot);
[all...] |
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 578 cap_t threadRoot; local
583 threadRoot = TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap;
585 if (cap_get_capType(threadRoot) != cap_page_table_cap) {
590 lvl1pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(threadRoot));
592 asid = cap_page_table_cap_get_capPTMappedASID(threadRoot);
1155 cap_t threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap; local
1156 if (!isValidVTableRoot(threadRoot)) {
1167 pte_t *vspace_root = PTE_PTR(pptr_of_cap(threadRoot));
|
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1043 cap_t threadRoot; local
1048 threadRoot = TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap;
1050 if (cap_get_capType(threadRoot) != cap_page_directory_cap ||
1051 !cap_page_directory_cap_get_capPDIsMapped(threadRoot)) {
1060 pd = PDE_PTR(cap_page_directory_cap_get_capPDBasePtr(threadRoot));
1061 asid = cap_page_directory_cap_get_capPDMappedASID(threadRoot);
1077 cap_t threadRoot; local
1079 threadRoot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbVTable)->cap;
1081 if (cap_get_capType(threadRoot) == cap_page_directory_cap &&
1082 cap_page_directory_cap_get_capPDIsMapped(threadRoot)
2905 cap_t threadRoot; local
[all...] |
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 986 cap_t threadRoot; local
991 threadRoot = TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap;
993 if (!isValidNativeRoot(threadRoot)) {
998 vspaceRoot = VSPACE_PTR(cap_vtable_root_get_basePtr(threadRoot));
999 asid = cap_vtable_root_get_mappedASID(threadRoot);
1011 cap_t threadRoot; local
1013 threadRoot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbVTable)->cap;
1015 if (cap_get_capType(threadRoot) == cap_vtable_root_cap &&
1016 cap_vtable_root_isMapped(threadRoot) &&
1017 cap_vtable_root_get_basePtr(threadRoot)
2493 cap_t threadRoot; local
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 688 cap_t threadRoot; local
693 threadRoot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbVTable)->cap;
697 if (config_set(CONFIG_SUPPORT_PCID) || (isValidNativeRoot(threadRoot)
698 && (vspace_root_t *)pptr_of_cap(threadRoot) == vspace)) {
|
Completed in 103 milliseconds