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

/seL4-l4v-master/seL4/src/arch/riscv/
H A Dhead.S16 .extern restore_user_context
44 la ra, restore_user_context
H A Dc_traps.c22 void VISIBLE NORETURN restore_user_context(void) function
110 restore_user_context();
143 restore_user_context();
156 restore_user_context();
H A Dtraps.S23 .extern restore_user_context
/seL4-l4v-master/seL4/include/arch/riscv/arch/kernel/
H A Dtraps.h31 void restore_user_context(void)
/seL4-l4v-master/seL4/src/arch/arm/
H A Dc_traps.c40 restore_user_context();
50 restore_user_context();
60 restore_user_context();
76 restore_user_context();
104 restore_user_context();
122 restore_user_context();
193 restore_user_context();
/seL4-l4v-master/seL4/src/arch/x86/32/
H A Dc_traps.c29 restore_user_context();
104 void NORETURN VISIBLE restore_user_context(void);
105 void NORETURN VISIBLE restore_user_context(void) function
H A Dhead.S79 /* Call boot_sys() (takes 2 parameters) and set restore_user_context() as */
81 pushl $restore_user_context
130 /* Call boot_node() and set restore_user_context() as return EIP. */
131 pushl $restore_user_context
/seL4-l4v-master/seL4/src/arch/arm/64/
H A Dc_traps.c19 void VISIBLE NORETURN restore_user_context(void) function
H A Dhead.S120 b restore_user_context
/seL4-l4v-master/seL4/include/arch/arm/arch/kernel/
H A Dtraps.h23 void VISIBLE NORETURN restore_user_context(void);
/seL4-l4v-master/seL4/include/arch/x86/arch/kernel/
H A Dtraps.h34 void restore_user_context(void)
/seL4-l4v-master/seL4/src/arch/arm/32/
H A Dc_traps.c21 void VISIBLE NORETURN restore_user_context(void) function
H A Dhead.S167 b restore_user_context
/seL4-l4v-master/seL4/src/arch/x86/
H A Dc_traps.c84 /* fall through to restore_user_context and do nothing */
99 restore_user_context();
116 restore_user_context();
119 restore_user_context();
137 restore_user_context();
217 restore_user_context();
/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A Ddecompile_testScript.sml20 val ignore_names = "fastpath_restore,restore_user_context,_start,arm_prefetch_abort_exception,arm_data_abort_exception";
/seL4-l4v-master/seL4/src/arch/x86/64/
H A Dc_traps.c31 restore_user_context();
129 void VISIBLE NORETURN restore_user_context(void) function
H A Dhead.S341 movabs $restore_user_context, %rax
420 movabs $restore_user_context, %rax
/seL4-l4v-master/seL4/src/smp/
H A Dipi.c60 restore_user_context();
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h128 * calling sysexit. This case is handled in restore_user_context so we just go there
130 restore_user_context();
137 /* see restore_user_context for a full explanation of why we do this */
/seL4-l4v-master/graph-refine/seL4-example/
H A DMakefile99 IGNORES_ARM := restore_user_context,c_handle_fastpath_call,c_handle_fastpath_reply_recv

Completed in 195 milliseconds