Home
last modified time | relevance | path

Searched refs:TCB_PTR_CTE_PTR (Results 1 – 24 of 24) sorted by relevance

/seL4-master/src/machine/
A Dcapdl.c98 cap_t ep_cap = TCB_PTR_CTE_PTR(tcb, tcbFaultHandler)->cap; in obj_tcb_print_attrs()
235 if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbCTable)->cap) != cap_null_cap) { in obj_tcb_print_slots()
238 cap_cnode_print_attrs(TCB_PTR_CTE_PTR(tcb, tcbCTable)->cap); in obj_tcb_print_slots()
242 if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap) != cap_null_cap) { in obj_tcb_print_slots()
249 if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbBuffer)->cap) != cap_null_cap) { in obj_tcb_print_slots()
260 cap_ep_print_attrs(TCB_PTR_CTE_PTR(tcb, tcbFaultHandler)->cap); in obj_tcb_print_slots()
272 cap_ep_print_attrs(TCB_PTR_CTE_PTR(tcb, tcbTimeoutHandler)->cap); in obj_tcb_print_slots()
277 if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbReply)->cap) != cap_null_cap) { in obj_tcb_print_slots()
283 if (cap_get_capType(TCB_PTR_CTE_PTR(tcb, tcbCaller)->cap) != cap_null_cap) { in obj_tcb_print_slots()
294 cap_t root = TCB_PTR_CTE_PTR(tcb, tcbCTable)->cap; in obj_cnode_print_slots()
[all …]
/seL4-master/src/arch/riscv/machine/
A Dcapdl.c36 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 Dcapdl.c156 …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/fastpath/
A Dfastpath.c49 ep_cap = lookup_fp(TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCTable)->cap, cptr); in fastpath_call()
77 newVTable = TCB_PTR_CTE_PTR(dest, tcbVTable)->cap; in fastpath_call()
196 cte_t *replySlot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbReply); in fastpath_call()
199 cte_t *callerSlot = TCB_PTR_CTE_PTR(dest, tcbCaller); in fastpath_call()
259 ep_cap = lookup_fp(TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCTable)->cap, in fastpath_reply_recv()
270 cap_t reply_cap = lookup_fp(TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCTable)->cap, reply); in fastpath_reply_recv()
307 cte_t *callerSlot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCaller); in fastpath_reply_recv()
332 newVTable = TCB_PTR_CTE_PTR(caller, tcbVTable)->cap; in fastpath_reply_recv()
/seL4-master/src/arch/arm/64/machine/
A Dcapdl.c254 …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 Dcapdl.c178 …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/kernel/
A Dfaulthandler.c17 bool_t hasFaultHandler = sendFaultIPC(tptr, TCB_PTR_CTE_PTR(tptr, tcbFaultHandler)->cap, in handleFault()
27 sendFaultIPC(tptr, TCB_PTR_CTE_PTR(tptr, tcbTimeoutHandler)->cap, false); in handleTimeout()
A Dcspace.c57 threadRoot = TCB_PTR_CTE_PTR(thread, tcbCTable)->cap; in lookupSlot()
/seL4-master/include/kernel/
A Dfaulthandler.h14 return cap_get_capType(TCB_PTR_CTE_PTR(tptr, tcbTimeoutHandler)->cap) == cap_endpoint_cap; in validTimeoutHandler()
/seL4-master/src/arch/x86/object/
A Dtcb.c35 rootSlot = TCB_PTR_CTE_PTR(tcb, tcbArchEPTRoot); in performSetEPTRoot()
A Dvcpu.c1485 setEPTRoot(TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbArchEPTRoot)->cap, expected_vmcs); in restoreVMCS()
/seL4-master/src/object/
A Dtcb.c357 replySlot = TCB_PTR_CTE_PTR(sender, tcbReply); in setupCallerCap()
364 callerSlot = TCB_PTR_CTE_PTR(receiver, tcbCaller); in setupCallerCap()
376 callerSlot = TCB_PTR_CTE_PTR(receiver, tcbCaller); in deleteCallerCap()
1084 TCB_PTR_CTE_PTR(cap_thread_cap_get_capTCBPtr(cap), tcbCTable)) || in decodeTCBConfigure()
1086 TCB_PTR_CTE_PTR(cap_thread_cap_get_capTCBPtr(cap), tcbVTable))) { in decodeTCBConfigure()
1479 TCB_PTR_CTE_PTR(cap_thread_cap_get_capTCBPtr(cap), tcbCTable)) || in decodeSetSpace()
1674 cte_t *rootSlot = TCB_PTR_CTE_PTR(target, index); in installTCBCap()
1732 bufferSlot = TCB_PTR_CTE_PTR(target, tcbBuffer); in invokeTCB_ThreadControlCaps()
1774 rootSlot = TCB_PTR_CTE_PTR(target, tcbCTable); in invokeTCB_ThreadControl()
1788 rootSlot = TCB_PTR_CTE_PTR(target, tcbVTable); in invokeTCB_ThreadControl()
[all …]
A Dobjecttype.c189 cte_ptr = TCB_PTR_CTE_PTR(tcb, tcbCTable); in finaliseCap()
958 return TCB_PTR_CTE_PTR(cap_thread_cap_get_capTCBPtr(cap), 0); in cap_get_capPtr()
A Dcnode.c369 srcSlot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCaller); in invokeCNodeSaveCaller()
763 slot = TCB_PTR_CTE_PTR(thread, tcbReply); in setupReplyMaster()
A Dendpoint.c366 slot = TCB_PTR_CTE_PTR(tptr, tcbReply); in cancelIPC()
/seL4-master/include/object/
A Dstructures.h97 #define TCB_PTR_CTE_PTR(p,i) \ macro
329 #define TCB_PTR_DEBUG_PTR(p) ((debug_tcb_t *)TCB_PTR_CTE_PTR(p,tcbArchCNodeEntries))
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c363 bufferCap = TCB_PTR_CTE_PTR(thread, tcbBuffer)->cap; in lookupIPCBuffer()
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/32/kernel/
A Dvspace_32paging.c357 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap; in Arch_userStackTrace()
A Dvspace.c595 threadRoot = TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap; in setVMRoot()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c600 bufferCap = TCB_PTR_CTE_PTR(thread, tcbBuffer)->cap; in lookupIPCBuffer()
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 Dvspace.c636 bufferCap = TCB_PTR_CTE_PTR(thread, tcbBuffer)->cap; in lookupIPCBuffer()
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/api/
A Dsyscall.c473 callerSlot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbCaller); in handleReply()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c480 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/x86/kernel/
A Dvspace.c100 bufferCap = TCB_PTR_CTE_PTR(thread, tcbBuffer)->cap; in lookupIPCBuffer()
693 threadRoot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbVTable)->cap; in flushTable()

Completed in 56 milliseconds