context (definition) in projects: seL4-master

Searched defs:context (Results 1 – 7 of 7) sorted by relevance

/seL4-master/src/arch/x86/machine/
A D	registerset.c	`10 void Arch_initContext(user_context_t *context) in Arch_initContext()`
A D	fpu.c	`16 void Arch_initFpuContext(user_context_t *context) in Arch_initFpuContext()`
/seL4-master/src/arch/x86/64/machine/
A D	registerset.c	`37 void Mode_initContext(user_context_t *context) in Mode_initContext()`
/seL4-master/src/arch/x86/32/machine/
A D	registerset.c	`42 void Mode_initContext(user_context_t *context) in Mode_initContext()`
/seL4-master/include/arch/riscv/arch/machine/
A D	registerset.h	`119 static inline void Arch_initContext(user_context_t *context) in Arch_initContext()`
/seL4-master/include/arch/arm/arch/32/mode/machine/
A D	registerset.h	`241 static inline void Arch_initContext(user_context_t *context) in Arch_initContext()`
/seL4-master/include/arch/arm/arch/64/mode/machine/
A D	registerset.h	`263 static inline void Arch_initContext(user_context_t *context) in Arch_initContext()`

Completed in 18 milliseconds