| /seL4-master/src/arch/riscv/machine/ |
| A D | capdl.c | 36 asid_t asid = cap_page_table_cap_get_capPTMappedASID(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in print_ipc_buffer_slot()
85 …if (isValidVTableRoot(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap) && !seen(TCB_PTR_CTE_PTR(tcb, tcbVTabl… in obj_vtable_print_slots()
86 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap)); in obj_vtable_print_slots()
87 add_to_seen(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in obj_vtable_print_slots()
218 …if (isValidVTableRoot(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap) && !seen(TCB_PTR_CTE_PTR(tcb, tcbVTabl… in obj_tcb_print_vtable()
219 add_to_seen(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in obj_tcb_print_vtable()
220 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap)); in obj_tcb_print_vtable()
|
| /seL4-master/src/arch/arm/32/machine/ |
| A D | capdl.c | 156 …if (isValidVTableRoot(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap) && !seen(TCB_PTR_CTE_PTR(tcb, tcbVTabl… in obj_vtable_print_slots()
157 add_to_seen(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in obj_vtable_print_slots()
158 pde_t *pd = (pde_t *)pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in obj_vtable_print_slots()
261 asid_t asid = cap_page_directory_cap_get_capPDMappedASID(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in print_ipc_buffer_slot()
450 …if (isValidVTableRoot(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap) && !seen(TCB_PTR_CTE_PTR(tcb, tcbVTabl… in obj_tcb_print_vtable()
451 add_to_seen(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in obj_tcb_print_vtable()
452 pde_t *pd = (pde_t *)pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in obj_tcb_print_vtable()
|
| /seL4-master/src/arch/arm/64/machine/ |
| A D | capdl.c | 254 …if (isVTableRoot(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap) && !seen(TCB_PTR_CTE_PTR(tcb, tcbVTable)->c… in obj_vtable_print_slots()
255 add_to_seen(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in obj_vtable_print_slots()
256 vspace_root_t *vspace = cap_vtable_root_get_basePtr(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in obj_vtable_print_slots()
288 cap_frame_print_attrs_vptr(vptr, TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in print_ipc_buffer_slot()
516 …if (isVTableRoot(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap) && !seen(TCB_PTR_CTE_PTR(tcb, tcbVTable)->c… in obj_tcb_print_vtable()
517 add_to_seen(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in obj_tcb_print_vtable()
518 vspace_root_t *vspace = cap_vtable_root_get_basePtr(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in obj_tcb_print_vtable()
|
| /seL4-master/src/arch/x86/64/machine/ |
| A D | capdl.c | 178 …if (isValidVTableRoot(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap) && !seen(TCB_PTR_CTE_PTR(tcb, tcbVTabl… in obj_tcb_print_vtable()
179 … pml4e_t *pml4 = PML4E_PTR(cap_pml4_cap_get_capPML4BasePtr(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap)); in obj_tcb_print_vtable()
180 add_to_seen(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in obj_tcb_print_vtable()
378 cap_frame_print_attrs_vptr(vptr, TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in print_ipc_buffer_slot()
473 …if (isValidVTableRoot(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap) && !seen(TCB_PTR_CTE_PTR(tcb, tcbVTabl… in obj_vtable_print_slots()
474 … pml4e_t *pml4 = PML4E_PTR(cap_pml4_cap_get_capPML4BasePtr(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap)); in obj_vtable_print_slots()
475 add_to_seen(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap); in obj_vtable_print_slots()
|
| /seL4-master/src/machine/ |
| A D | capdl.c | 242 if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap) != cap_null_cap) { in obj_tcb_print_slots()
244 cap_vtable_cap_get_vspace_root_fp(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap)); in obj_tcb_print_slots()
|
| /seL4-master/src/fastpath/ |
| A D | fastpath.c | 77 newVTable = TCB_PTR_CTE_PTR(dest, tcbVTable)->cap; in fastpath_call()
332 newVTable = TCB_PTR_CTE_PTR(caller, tcbVTable)->cap; in fastpath_reply_recv()
|
| /seL4-master/include/object/ |
| A D | structures.h | 185 tcbVTable = 1, enumerator
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace_32paging.c | 357 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap; in Arch_userStackTrace()
|
| A D | vspace.c | 595 threadRoot = TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap; in setVMRoot()
|
| /seL4-master/src/object/ |
| A D | tcb.c | 1086 TCB_PTR_CTE_PTR(cap_thread_cap_get_capTCBPtr(cap), tcbVTable))) { in decodeTCBConfigure()
1481 TCB_PTR_CTE_PTR(cap_thread_cap_get_capTCBPtr(cap), tcbVTable))) { in decodeSetSpace()
1723 e = installTCBCap(target, tCap, slot, tcbVTable, vRoot_newCap, vRoot_srcSlot); in invokeTCB_ThreadControlCaps()
1788 rootSlot = TCB_PTR_CTE_PTR(target, tcbVTable); in invokeTCB_ThreadControl()
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 583 threadRoot = TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap; in setVMRoot()
1152 cap_t threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap; in Arch_userStackTrace()
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 480 threadRoot = TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap; in setVMRoot()
1590 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap; in Arch_userStackTrace()
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 996 threadRoot = TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap; in setVMRoot()
1018 threadRoot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbVTable)->cap; in setVMRootForFlush()
2486 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap; in Arch_userStackTrace()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 1007 threadRoot = TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap; in setVMRoot()
1038 threadRoot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbVTable)->cap; in setVMRootForFlush()
2841 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap;
|
| /seL4-master/src/kernel/ |
| A D | boot.c | 493 SLOT_PTR(rootserver.tcb, tcbVTable) in create_initial_thread()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 693 threadRoot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbVTable)->cap; in flushTable()
|