Searched defs:tptr (Results 1 – 16 of 16) sorted by relevance
15 void handleFault(tcb_t *tptr) in handleFault()24 void handleTimeout(tcb_t *tptr) in handleTimeout()30 bool_t sendFaultIPC(tcb_t *tptr, cap_t handlerCap, bool_t can_donate) in sendFaultIPC()53 void handleFault(tcb_t *tptr) in handleFault()64 exception_t sendFaultIPC(tcb_t *tptr) in sendFaultIPC()144 void handleNoFaultHandler(tcb_t *tptr) in handleNoFaultHandler()
467 void setDomain(tcb_t *tptr, dom_t dom) in setDomain()479 void setMCPriority(tcb_t *tptr, prio_t mcp) in setMCPriority()484 void setPriority(tcb_t *tptr, prio_t prio) in setPriority()513 void setPriority(tcb_t *tptr, prio_t prio) in setPriority()552 void setThreadState(tcb_t *tptr, _thread_state_t ts) in setThreadState()558 void scheduleTCB(tcb_t *tptr) in scheduleTCB()
12 static inline bool_t validTimeoutHandler(tcb_t *tptr) in validTimeoutHandler()
9 void Arch_postModifyRegisters(tcb_t *tptr) in Arch_postModifyRegisters()
10 void Arch_postModifyRegisters(tcb_t *tptr) in Arch_postModifyRegisters()
48 void Mode_postModifyRegisters(tcb_t *tptr) in Mode_postModifyRegisters()
350 void Arch_userStackTrace(tcb_t *tptr) in Arch_userStackTrace()
65 void Mode_postModifyRegisters(tcb_t *tptr) in Mode_postModifyRegisters()
1583 void Arch_userStackTrace(tcb_t *tptr) in Arch_userStackTrace()
71 tcb_t *tptr = NODE_STATE(ksCurThread); in debug_printUserState() local
54 void Arch_postModifyRegisters(tcb_t *tptr) in Arch_postModifyRegisters()
1150 void Arch_userStackTrace(tcb_t *tptr) in Arch_userStackTrace()
84 tcb_t *UNUSED tptr = NODE_STATE(ksCurThread); in handleUnknownSyscall() local89 tcb_t *UNUSED tptr = NODE_STATE(ksCurThread); in handleUnknownSyscall() local
312 void cancelIPC(tcb_t *tptr) in cancelIPC()
2834 void Arch_userStackTrace(tcb_t *tptr)
2480 void Arch_userStackTrace(tcb_t *tptr) in Arch_userStackTrace()
Completed in 29 milliseconds