Searched refs:seL4_UserContext (Results 1 - 7 of 7) sorted by relevance
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ | ||
H A D | types.h | 31 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_ |
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ | ||
H A D | types.h | 29 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_ |
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ | ||
H A D | types.h | 29 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_ |
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ | ||
H A D | types.h | 34 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_ |
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/ | ||
H A D | types.h | 58 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_ |
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ | ||
H A D | types.h | 32 } seL4_UserContext; typedef in typeref:struct:seL4_UserContext_ |
/seL4-mcs-10.1.1/libsel4/include/sel4/ | ||
H A D | faults.h | 88 seL4_TimeoutReply_new(seL4_Bool resume, seL4_UserContext regs, seL4_Word length) |
Completed in 33 milliseconds