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

/seL4-test-master/kernel/include/kernel/
H A Dfaulthandler.h12 static inline bool_t validTimeoutHandler(tcb_t *tptr) argument
14 return cap_get_capType(TCB_PTR_CTE_PTR(tptr, tcbTimeoutHandler)->cap) == cap_endpoint_cap;
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);
H A Dthread.h194 void setDomain(tcb_t *tptr, dom_t dom);
195 void setPriority(tcb_t *tptr, prio_t prio);
196 void setMCPriority(tcb_t *tptr, prio_t mcp);
197 void scheduleTCB(tcb_t *tptr);
198 void possibleSwitchTo(tcb_t *tptr);
199 void setThreadState(tcb_t *tptr, _thread_state_t ts);
205 void Arch_postModifyRegisters(tcb_t *tptr);
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dthread.c10 void Arch_postModifyRegisters(tcb_t *tptr) argument
12 Mode_postModifyRegisters(tptr);
/seL4-test-master/kernel/src/arch/arm/kernel/
H A Dthread.c9 void Arch_postModifyRegisters(tcb_t *tptr) argument
/seL4-test-master/kernel/src/kernel/
H A Dfaulthandler.c15 void handleFault(tcb_t *tptr) argument
17 bool_t hasFaultHandler = sendFaultIPC(tptr, TCB_PTR_CTE_PTR(tptr, tcbFaultHandler)->cap,
18 tptr->tcbSchedContext != NULL);
20 handleNoFaultHandler(tptr);
24 void handleTimeout(tcb_t *tptr) argument
26 assert(validTimeoutHandler(tptr));
27 sendFaultIPC(tptr, TCB_PTR_CTE_PTR(tptr, tcbTimeoutHandler)->cap, false);
30 bool_t sendFaultIPC(tcb_t *tptr, cap_ argument
53 handleFault(tcb_t *tptr) argument
64 sendFaultIPC(tcb_t *tptr) argument
144 handleNoFaultHandler(tcb_t *tptr) argument
[all...]
H A Dthread.c458 void setDomain(tcb_t *tptr, dom_t dom) argument
460 tcbSchedDequeue(tptr);
461 tptr->tcbDomain = dom;
462 if (isSchedulable(tptr)) {
463 SCHED_ENQUEUE(tptr);
465 if (tptr == NODE_STATE(ksCurThread)) {
470 void setMCPriority(tcb_t *tptr, prio_t mcp) argument
472 tptr->tcbMCP = mcp;
475 void setPriority(tcb_t *tptr, prio_t prio) argument
477 switch (thread_state_get_tsType(tptr
504 setPriority(tcb_t *tptr, prio_t prio) argument
543 setThreadState(tcb_t *tptr, _thread_state_t ts) argument
549 scheduleTCB(tcb_t *tptr) argument
[all...]
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dthread.h22 void Mode_postModifyRegisters(tcb_t *tptr);
H A Dvspace.h132 void Arch_userStackTrace(tcb_t *tptr);
/seL4-test-master/kernel/include/api/
H A Ddebug.h71 tcb_t *tptr = NODE_STATE(ksCurThread); local
72 printf("Current thread: %s\n", TCB_PTR_DEBUG_PTR(tptr)->tcbName);
73 printf("Next instruction adress: %lx\n", getRestartPC(tptr));
75 Arch_userStackTrace(tptr);
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dthread.c65 void Mode_postModifyRegisters(tcb_t *tptr) argument
70 if (tptr != NODE_STATE(ksCurThread)) {
71 setRegister(tptr, Error, 0);
H A Dvspace.c1586 void Arch_userStackTrace(tcb_t *tptr) argument
1593 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap;
1603 sp = getRegister(tptr, RSP);
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dthread.c54 void Arch_postModifyRegisters(tcb_t *tptr) argument
H A Dvspace.c1153 void Arch_userStackTrace(tcb_t *tptr) argument
1155 cap_t threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap;
1161 word_t sp = getRegister(tptr, SP);
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dthread.c48 void Mode_postModifyRegisters(tcb_t *tptr) argument
H A Dvspace_32paging.c351 void Arch_userStackTrace(tcb_t *tptr) argument
358 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap;
368 sp = getRegister(tptr, ESP);
/seL4-test-master/kernel/src/object/
H A Dendpoint.c296 void cancelIPC(tcb_t *tptr) argument
298 thread_state_t *state = &tptr->tcbState;
302 seL4_Fault_NullFault_ptr_new(&tptr->tcbFault);
319 queue = tcbEPDequeue(tptr, queue);
327 reply_t *reply = REPLY_PTR(thread_state_get_replyObject(tptr->tcbState));
329 reply_unlink(reply, tptr);
332 setThreadState(tptr, ThreadState_Inactive);
337 cancelSignal(tptr,
343 reply_remove_tcb(tptr);
347 tptr
[all...]
/seL4-test-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h51 void Arch_userStackTrace(tcb_t *tptr);
/seL4-test-master/kernel/include/object/
H A Dendpoint.h34 void cancelIPC(tcb_t *tptr);
/seL4-test-master/kernel/src/api/
H A Dsyscall.c85 tcb_t *UNUSED tptr = NODE_STATE(ksCurThread); local
86 printf("Debug halt syscall from user thread %p \"%s\"\n", tptr, TCB_PTR_DEBUG_PTR(tptr)->tcbName);
91 tcb_t *UNUSED tptr = NODE_STATE(ksCurThread); local
92 printf("Debug snapshot syscall from user thread %p \"%s\"\n", tptr, TCB_PTR_DEBUG_PTR(tptr)->tcbName);
/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h66 void Arch_userStackTrace(tcb_t *tptr);
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2903 void Arch_userStackTrace(tcb_t *tptr) argument
2910 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap;
2920 sp = getRegister(tptr, SP);
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c2491 void Arch_userStackTrace(tcb_t *tptr) argument
2498 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap;
2507 sp = getRegister(tptr, SP_EL0);

Completed in 162 milliseconds