Searched refs:user_context_t (Results 1 - 15 of 15) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Dregisterset.h74 typedef struct user_context user_context_t; typedef in typeref:struct:user_context
76 void Mode_initContext(user_context_t *context);
77 void Arch_initContext(user_context_t *context);
82 OFFSETOF(user_context_t, fpuState) % MIN_FPU_ALIGNMENT == 0)
88 OFFSETOF(user_context_t, kernelSP) - OFFSETOF(user_context_t, registers) == sizeof(word_t) * n_contextRegisters
H A Dfpu.h47 void Arch_initFpuContext(user_context_t *context);
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Ddebug.h31 typedef void (*break_handler_t)(user_context_t *context);
33 void software_breakpoint(uint32_t va, user_context_t *context) VISIBLE;
34 void breakpoint_multiplexer(uint32_t va, user_context_t *context) VISIBLE;
50 typedef void (*catch_handler_t)(user_context_t *context, vector_t vector);
H A Dregisterset.h239 typedef struct user_context user_context_t; typedef in typeref:struct:user_context
242 OFFSETOF(user_context_t, registers) == 0)
245 void Arch_initBreakpointContext(user_context_t *context);
248 static inline void Arch_initContext(user_context_t *context)
/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dregisterset.c10 void Arch_initContext(user_context_t *context)
H A Dfpu.c16 void Arch_initFpuContext(user_context_t *context)
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dregisterset.h257 typedef struct user_context user_context_t; typedef in typeref:struct:user_context
260 OFFSETOF(user_context_t, registers) == 0)
263 static inline void Arch_initContext(user_context_t *context)
/seL4-camkes-master/kernel/include/arch/riscv/arch/machine/
H A Dregisterset.h117 typedef struct user_context user_context_t; typedef in typeref:struct:user_context
119 static inline void Arch_initContext(user_context_t *context)
/seL4-camkes-master/kernel/src/arch/x86/32/machine/
H A Dregisterset.c42 void Mode_initContext(user_context_t *context)
/seL4-camkes-master/kernel/src/arch/x86/64/machine/
H A Dregisterset.c37 void Mode_initContext(user_context_t *context)
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h37 user_context_t tcbContext;
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h31 user_context_t tcbContext;
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h20 user_context_t tcbContext;
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h21 user_context_t tcbContext;
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Ddebug.c1166 void Arch_initBreakpointContext(user_context_t *uc)

Completed in 132 milliseconds