/seL4-test-master/kernel/include/kernel/ |
H A D | faulthandler.h | 12 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 D | thread.h | 194 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 D | thread.c | 10 void Arch_postModifyRegisters(tcb_t *tptr) argument 12 Mode_postModifyRegisters(tptr);
|
/seL4-test-master/kernel/src/arch/arm/kernel/ |
H A D | thread.c | 9 void Arch_postModifyRegisters(tcb_t *tptr) argument
|
/seL4-test-master/kernel/src/kernel/ |
H A D | faulthandler.c | 15 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 D | thread.c | 458 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 D | thread.h | 22 void Mode_postModifyRegisters(tcb_t *tptr);
|
H A D | vspace.h | 132 void Arch_userStackTrace(tcb_t *tptr);
|
/seL4-test-master/kernel/include/api/ |
H A D | debug.h | 71 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 D | thread.c | 65 void Mode_postModifyRegisters(tcb_t *tptr) argument 70 if (tptr != NODE_STATE(ksCurThread)) { 71 setRegister(tptr, Error, 0);
|
H A D | vspace.c | 1586 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 D | thread.c | 54 void Arch_postModifyRegisters(tcb_t *tptr) argument
|
H A D | vspace.c | 1153 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 D | thread.c | 48 void Mode_postModifyRegisters(tcb_t *tptr) argument
|
H A D | vspace_32paging.c | 351 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 D | endpoint.c | 296 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 D | vspace.h | 51 void Arch_userStackTrace(tcb_t *tptr);
|
/seL4-test-master/kernel/include/object/ |
H A D | endpoint.h | 34 void cancelIPC(tcb_t *tptr);
|
/seL4-test-master/kernel/src/api/ |
H A D | syscall.c | 85 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 D | vspace.h | 66 void Arch_userStackTrace(tcb_t *tptr);
|
/seL4-test-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 2903 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 D | vspace.c | 2491 void Arch_userStackTrace(tcb_t *tptr) argument 2498 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap; 2507 sp = getRegister(tptr, SP_EL0);
|