Searched refs:user_context (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Dregisterset.h63 struct user_context { struct
74 typedef struct user_context user_context_t;
/seL4-camkes-master/kernel/include/arch/riscv/arch/machine/
H A Dregisterset.h111 struct user_context { struct
117 typedef struct user_context user_context_t;
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dregisterset.h251 struct user_context { struct
257 typedef struct user_context user_context_t;
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h230 struct user_context { struct
239 typedef struct user_context user_context_t;

Completed in 91 milliseconds