/seL4-master/src/kernel/ |
A D | faulthandler.c | 15 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 D | thread.c | 469 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 D | faulthandler.h | 12 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 D | thread.h | 185 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 D | debug.h | 71 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 D | thread.c | 65 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 D | vspace.c | 1583 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 D | endpoint.c | 312 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 D | thread.c | 10 void Arch_postModifyRegisters(tcb_t *tptr) in Arch_postModifyRegisters() argument 12 Mode_postModifyRegisters(tptr); in Arch_postModifyRegisters()
|
/seL4-master/src/arch/arm/kernel/ |
A D | thread.c | 9 void Arch_postModifyRegisters(tcb_t *tptr) in Arch_postModifyRegisters() argument
|
/seL4-master/include/arch/x86/arch/kernel/ |
A D | thread.h | 22 void Mode_postModifyRegisters(tcb_t *tptr);
|
A D | vspace.h | 131 void Arch_userStackTrace(tcb_t *tptr);
|
/seL4-master/src/api/ |
A D | syscall.c | 84 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 D | thread.c | 48 void Mode_postModifyRegisters(tcb_t *tptr) in Mode_postModifyRegisters() argument
|
A D | vspace_32paging.c | 350 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 D | thread.c | 54 void Arch_postModifyRegisters(tcb_t *tptr) in Arch_postModifyRegisters() argument
|
A D | vspace.c | 1150 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 D | endpoint.h | 34 void cancelIPC(tcb_t *tptr);
|
/seL4-master/include/arch/arm/arch/kernel/ |
A D | vspace.h | 50 void Arch_userStackTrace(tcb_t *tptr);
|
/seL4-master/include/arch/riscv/arch/kernel/ |
A D | vspace.h | 65 void Arch_userStackTrace(tcb_t *tptr);
|
/seL4-master/src/arch/arm/64/kernel/ |
A D | vspace.c | 2480 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 D | vspace.c | 2834 void Arch_userStackTrace(tcb_t *tptr) argument 2841 threadRoot = TCB_PTR_CTE_PTR(tptr, tcbVTable)->cap; 2851 sp = getRegister(tptr, SP);
|