Searched refs:restore_user_context (Results 1 - 18 of 18) sorted by relevance

/seL4-mcs-10.1.1/src/arch/arm/
H A Dc_traps.c47 restore_user_context();
53 restore_user_context();
64 restore_user_context();
81 restore_user_context();
109 restore_user_context();
120 restore_user_context();
151 restore_user_context();
170 restore_user_context();
/seL4-mcs-10.1.1/src/arch/riscv/
H A Dhead.S27 .extern restore_user_context
48 la ra, restore_user_context
H A Dc_traps.c32 void VISIBLE NORETURN restore_user_context(void) function
107 restore_user_context();
120 restore_user_context();
134 restore_user_context();
H A Dtraps.S34 .extern restore_user_context
/seL4-mcs-10.1.1/include/arch/riscv/arch/kernel/
H A Dtraps.h42 void restore_user_context(void)
/seL4-mcs-10.1.1/include/arch/x86/arch/kernel/
H A Dtraps.h28 void restore_user_context(void)
/seL4-mcs-10.1.1/src/arch/arm/64/
H A Dc_traps.c25 void VISIBLE NORETURN restore_user_context(void) function
H A Dhead.S120 b restore_user_context
/seL4-mcs-10.1.1/src/arch/x86/
H A Dc_traps.c90 /* fall through to restore_user_context and do nothing */
105 restore_user_context();
122 restore_user_context();
125 restore_user_context();
143 restore_user_context();
212 restore_user_context();
/seL4-mcs-10.1.1/src/arch/x86/32/
H A Dc_traps.c33 restore_user_context();
109 void NORETURN VISIBLE restore_user_context(void);
110 void NORETURN VISIBLE restore_user_context(void) function
H A Dhead.S83 /* Call boot_sys() (takes 2 parameters) and set restore_user_context() as */
85 pushl $restore_user_context
134 /* Call boot_node() and set restore_user_context() as return EIP. */
135 pushl $restore_user_context
/seL4-mcs-10.1.1/include/arch/arm/arch/kernel/
H A Dtraps.h50 void VISIBLE NORETURN restore_user_context(void);
/seL4-mcs-10.1.1/src/arch/arm/32/
H A Dc_traps.c25 void VISIBLE NORETURN restore_user_context(void) function
H A Dhead.S163 b restore_user_context
/seL4-mcs-10.1.1/src/arch/x86/64/
H A Dc_traps.c37 restore_user_context();
135 void VISIBLE NORETURN restore_user_context(void) function
H A Dhead.S402 movabs $restore_user_context, %rax
481 movabs $restore_user_context, %rax
/seL4-mcs-10.1.1/src/smp/
H A Dipi.c63 restore_user_context();
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h122 * calling sysexit. This case is handled in restore_user_context so we just go there
124 restore_user_context();
131 /* see restore_user_context for a full explanation of why we do this */

Completed in 174 milliseconds