Searched refs:seL4_UserContext (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver434.c13 } seL4_UserContext; typedef in typeref:struct:__anon81
16 useContext(seL4_UserContext *ucptr)
H A Djiraver443.c55 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_
343 [(sizeof(seL4_UserContext) == 68) ? 1 : -1];
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dtypes.h31 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dtypes.h29 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dtypes.h29 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dtypes.h34 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dtypes.h58 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dtypes.h32 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DEventFrom.c218 seL4_UserContext typedef in typeref:struct:__anon15
1517 seL4_UserContext
H A DEventTo.c218 seL4_UserContext typedef in typeref:struct:__anon27
1705 seL4_UserContext
H A DRPCFrom.c219 seL4_UserContext typedef in typeref:struct:__anon42
2327 seL4_UserContext
H A DRPCTo.c218 seL4_UserContext typedef in typeref:struct:__anon57
1850 seL4_UserContext

Completed in 129 milliseconds