Home
last modified time | relevance | path

Searched refs:tptr (Results 1 – 22 of 22) sorted by relevance

/seL4-master/src/kernel/
A Dfaulthandler.c15 void handleFault(tcb_t *tptr) in handleFault() argument
17 bool_t hasFaultHandler = sendFaultIPC(tptr, TCB_PTR_CTE_PTR(tptr, tcbFaultHandler)->cap, in handleFault()
20 handleNoFaultHandler(tptr); in handleFault()
24 void handleTimeout(tcb_t *tptr) in handleTimeout() argument
26 assert(validTimeoutHandler(tptr)); in handleTimeout()
27 sendFaultIPC(tptr, TCB_PTR_CTE_PTR(tptr, tcbTimeoutHandler)->cap, false); in handleTimeout()
42 can_donate, tptr, in sendFaultIPC()
53 void handleFault(tcb_t *tptr) in handleFault() argument
58 status = sendFaultIPC(tptr); in handleFault()
162 printf("\nin thread %p \"%s\" ", tptr, TCB_PTR_DEBUG_PTR(tptr)->tcbName); in handleNoFaultHandler()
[all …]
A Dthread.c469 tcbSchedDequeue(tptr); in setDomain()
470 tptr->tcbDomain = dom; in setDomain()
472 SCHED_ENQUEUE(tptr); in setDomain()
481 tptr->tcbMCP = mcp; in setMCPriority()
501 reorderEP(EP_PTR(thread_state_get_blockingObject(tptr->tcbState)), tptr); in setPriority()
505 reorderNTFN(NTFN_PTR(thread_state_get_blockingObject(tptr->tcbState)), tptr); in setPriority()
515 tcbSchedDequeue(tptr); in setPriority()
516 tptr->tcbPriority = prio; in setPriority()
517 if (isRunnable(tptr)) { in setPriority()
555 scheduleTCB(tptr); in setThreadState()
[all …]
/seL4-master/include/kernel/
A Dfaulthandler.h12 static inline bool_t validTimeoutHandler(tcb_t *tptr) in validTimeoutHandler() argument
14 return cap_get_capType(TCB_PTR_CTE_PTR(tptr, tcbTimeoutHandler)->cap) == cap_endpoint_cap; in validTimeoutHandler()
17 void handleTimeout(tcb_t *tptr);
18 void handleNoFaultHandler(tcb_t *tptr);
19 bool_t sendFaultIPC(tcb_t *tptr, cap_t handlerCap, bool_t can_donate);
21 exception_t sendFaultIPC(tcb_t *tptr);
22 void handleDoubleFault(tcb_t *tptr, seL4_Fault_t ex1);
24 void handleFault(tcb_t *tptr);
A Dthread.h185 void setDomain(tcb_t *tptr, dom_t dom);
186 void setPriority(tcb_t *tptr, prio_t prio);
187 void setMCPriority(tcb_t *tptr, prio_t mcp);
188 void scheduleTCB(tcb_t *tptr);
189 void possibleSwitchTo(tcb_t *tptr);
190 void setThreadState(tcb_t *tptr, _thread_state_t ts);
196 void Arch_postModifyRegisters(tcb_t *tptr);
/seL4-master/include/api/
A Ddebug.h71 tcb_t *tptr = NODE_STATE(ksCurThread); in debug_printUserState() local
72 printf("Current thread: %s\n", TCB_PTR_DEBUG_PTR(tptr)->tcbName); in debug_printUserState()
73 printf("Next instruction adress: %lx\n", getRestartPC(tptr)); in debug_printUserState()
75 Arch_userStackTrace(tptr); in debug_printUserState()
/seL4-master/src/arch/x86/64/kernel/
A Dthread.c65 void Mode_postModifyRegisters(tcb_t *tptr) in Mode_postModifyRegisters() argument
70 if (tptr != NODE_STATE(ksCurThread)) { in Mode_postModifyRegisters()
71 setRegister(tptr, Error, 0); in Mode_postModifyRegisters()
A Dvspace.c1583 void Arch_userStackTrace(tcb_t *tptr) in Arch_userStackTrace() argument
1590 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap; in Arch_userStackTrace()
1600 sp = getRegister(tptr, RSP); in Arch_userStackTrace()
/seL4-master/src/object/
A Dendpoint.c312 void cancelIPC(tcb_t *tptr) in cancelIPC() argument
314 thread_state_t *state = &tptr->tcbState; in cancelIPC()
318 seL4_Fault_NullFault_ptr_new(&tptr->tcbFault); in cancelIPC()
335 queue = tcbEPDequeue(tptr, queue); in cancelIPC()
343 reply_t *reply = REPLY_PTR(thread_state_get_replyObject(tptr->tcbState)); in cancelIPC()
345 reply_unlink(reply, tptr); in cancelIPC()
348 setThreadState(tptr, ThreadState_Inactive); in cancelIPC()
353 cancelSignal(tptr, in cancelIPC()
359 reply_remove_tcb(tptr); in cancelIPC()
363 tptr->tcbFault = seL4_Fault_NullFault_new(); in cancelIPC()
[all …]
/seL4-master/src/arch/x86/kernel/
A Dthread.c10 void Arch_postModifyRegisters(tcb_t *tptr) in Arch_postModifyRegisters() argument
12 Mode_postModifyRegisters(tptr); in Arch_postModifyRegisters()
/seL4-master/src/arch/arm/kernel/
A Dthread.c9 void Arch_postModifyRegisters(tcb_t *tptr) in Arch_postModifyRegisters() argument
/seL4-master/include/arch/x86/arch/kernel/
A Dthread.h22 void Mode_postModifyRegisters(tcb_t *tptr);
A Dvspace.h131 void Arch_userStackTrace(tcb_t *tptr);
/seL4-master/src/api/
A Dsyscall.c84 tcb_t *UNUSED tptr = NODE_STATE(ksCurThread); in handleUnknownSyscall() local
85 … printf("Debug halt syscall from user thread %p \"%s\"\n", tptr, TCB_PTR_DEBUG_PTR(tptr)->tcbName); in handleUnknownSyscall()
89 tcb_t *UNUSED tptr = NODE_STATE(ksCurThread); in handleUnknownSyscall() local
91 tptr, TCB_PTR_DEBUG_PTR(tptr)->tcbName); in handleUnknownSyscall()
/seL4-master/src/arch/x86/32/kernel/
A Dthread.c48 void Mode_postModifyRegisters(tcb_t *tptr) in Mode_postModifyRegisters() argument
A Dvspace_32paging.c350 void Arch_userStackTrace(tcb_t *tptr) in Arch_userStackTrace() argument
357 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap; in Arch_userStackTrace()
367 sp = getRegister(tptr, ESP); in Arch_userStackTrace()
/seL4-master/src/arch/riscv/kernel/
A Dthread.c54 void Arch_postModifyRegisters(tcb_t *tptr) in Arch_postModifyRegisters() argument
A Dvspace.c1150 void Arch_userStackTrace(tcb_t *tptr) in Arch_userStackTrace() argument
1152 cap_t threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap; in Arch_userStackTrace()
1158 word_t sp = getRegister(tptr, SP); in Arch_userStackTrace()
/seL4-master/include/object/
A Dendpoint.h34 void cancelIPC(tcb_t *tptr);
/seL4-master/include/arch/arm/arch/kernel/
A Dvspace.h50 void Arch_userStackTrace(tcb_t *tptr);
/seL4-master/include/arch/riscv/arch/kernel/
A Dvspace.h65 void Arch_userStackTrace(tcb_t *tptr);
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c2480 void Arch_userStackTrace(tcb_t *tptr) in Arch_userStackTrace() argument
2486 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap; in Arch_userStackTrace()
2495 sp = getRegister(tptr, SP_EL0); in Arch_userStackTrace()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c2834 void Arch_userStackTrace(tcb_t *tptr) argument
2841 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap;
2851 sp = getRegister(tptr, SP);

Completed in 33 milliseconds