tptr (definition) in projects: seL4-master

Project(s)

Full Search
Definition
Symbol
File Path
Type

Searched defs:tptr (Results 1 – 16 of 16) sorted by relevance

/seL4-master/src/kernel/
A D	faulthandler.c	`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()`
A D	thread.c	`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()`
/seL4-master/include/kernel/
A D	faulthandler.h	`12 static inline bool_t validTimeoutHandler(tcb_t *tptr) in validTimeoutHandler()`
/seL4-master/src/arch/arm/kernel/
A D	thread.c	`9 void Arch_postModifyRegisters(tcb_t *tptr) in Arch_postModifyRegisters()`
/seL4-master/src/arch/x86/kernel/
A D	thread.c	`10 void Arch_postModifyRegisters(tcb_t *tptr) in Arch_postModifyRegisters()`
/seL4-master/src/arch/x86/32/kernel/
A D	thread.c	`48 void Mode_postModifyRegisters(tcb_t *tptr) in Mode_postModifyRegisters()`
A D	vspace_32paging.c	`350 void Arch_userStackTrace(tcb_t *tptr) in Arch_userStackTrace()`
/seL4-master/src/arch/x86/64/kernel/
A D	thread.c	`65 void Mode_postModifyRegisters(tcb_t *tptr) in Mode_postModifyRegisters()`
A D	vspace.c	`1583 void Arch_userStackTrace(tcb_t *tptr) in Arch_userStackTrace()`
/seL4-master/include/api/
A D	debug.h	`71 tcb_t *tptr = NODE_STATE(ksCurThread); in debug_printUserState() local`
/seL4-master/src/arch/riscv/kernel/
A D	thread.c	`54 void Arch_postModifyRegisters(tcb_t *tptr) in Arch_postModifyRegisters()`
A D	vspace.c	`1150 void Arch_userStackTrace(tcb_t *tptr) in Arch_userStackTrace()`
/seL4-master/src/api/
A D	syscall.c	`84 tcb_t UNUSED tptr = NODE_STATE(ksCurThread); in handleUnknownSyscall() local 89 tcb_t UNUSED tptr = NODE_STATE(ksCurThread); in handleUnknownSyscall() local`
/seL4-master/src/object/
A D	endpoint.c	`312 void cancelIPC(tcb_t *tptr) in cancelIPC()`
/seL4-master/src/arch/arm/32/kernel/
A D	vspace.c	`2834 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()`

Completed in 32 milliseconds