Searched defs:user_context_t (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/ | ||
H A D | registerset.h | 79 typedef struct user_context user_context_t; typedef in typeref:struct:user_context |
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/machine/ | ||
H A D | registerset.h | 100 typedef struct user_context user_context_t; typedef in typeref:struct:user_context |
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/ | ||
H A D | registerset.h | 195 typedef struct user_context user_context_t; typedef in typeref:struct:user_context |
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/ | ||
H A D | registerset.h | 213 typedef struct user_context user_context_t; typedef in typeref:struct:user_context |
Completed in 78 milliseconds