Home
last modified time | relevance | path

Searched refs:restore_user_context (Results 1 – 17 of 17) sorted by relevance

/seL4-master/src/arch/arm/
A Dc_traps.c40 restore_user_context(); in c_handle_undefined_instruction()
50 restore_user_context(); in c_handle_undefined_instruction()
60 restore_user_context(); in c_handle_enfp()
76 restore_user_context(); in c_handle_vm_fault()
102 restore_user_context(); in c_handle_interrupt()
123 restore_user_context(); in slowpath()
194 restore_user_context(); in c_handle_vcpu_fault()
/seL4-master/src/arch/x86/
A Dc_traps.c99 restore_user_context(); in c_handle_interrupt()
116 restore_user_context(); in slowpath()
119 restore_user_context(); in slowpath()
140 restore_user_context(); in slowpath()
220 restore_user_context(); in c_handle_vmexit()
/seL4-master/src/arch/riscv/
A Dc_traps.c22 void VISIBLE NORETURN restore_user_context(void) in restore_user_context() function
110 restore_user_context(); in c_handle_interrupt()
143 restore_user_context(); in c_handle_exception()
164 restore_user_context(); in slowpath()
A Dhead.S17 .extern restore_user_context
62 la ra, restore_user_context
/seL4-master/src/arch/x86/32/
A Dc_traps.c29 restore_user_context(); in vmlaunch_failed()
104 void NORETURN VISIBLE restore_user_context(void);
105 void NORETURN VISIBLE restore_user_context(void) in restore_user_context() function
A Dhead.S81 pushl $restore_user_context
131 pushl $restore_user_context
/seL4-master/src/arch/arm/64/
A Dc_traps.c19 void VISIBLE NORETURN restore_user_context(void) in restore_user_context() function
A Dhead.S135 b restore_user_context
/seL4-master/src/arch/arm/32/
A Dc_traps.c21 void VISIBLE NORETURN restore_user_context(void) in restore_user_context() function
A Dhead.S183 b restore_user_context
/seL4-master/include/arch/riscv/arch/kernel/
A Dtraps.h42 void restore_user_context(void)
/seL4-master/include/arch/x86/arch/kernel/
A Dtraps.h34 void restore_user_context(void)
/seL4-master/src/arch/x86/64/
A Dc_traps.c31 restore_user_context(); in vmlaunch_failed()
129 void VISIBLE NORETURN restore_user_context(void) in restore_user_context() function
A Dhead.S346 movabs $restore_user_context, %rax
425 movabs $restore_user_context, %rax
/seL4-master/include/arch/arm/arch/kernel/
A Dtraps.h23 void VISIBLE NORETURN restore_user_context(void);
/seL4-master/src/smp/
A Dipi.c60 restore_user_context(); in ipiStallCoreCallback()
/seL4-master/include/arch/x86/arch/64/mode/fastpath/
A Dfastpath.h130 restore_user_context(); in fastpath_restore()

Completed in 19 milliseconds