| /seL4-master/include/arch/riscv/arch/kernel/ |
| A D | traps.h | 28 VISIBLE NORETURN;
31 VISIBLE NORETURN;
34 VISIBLE NORETURN;
37 VISIBLE NORETURN;
40 VISIBLE NORETURN;
43 VISIBLE NORETURN;
|
| /seL4-master/src/arch/arm/ |
| A D | c_traps.c | 19 void VISIBLE NORETURN c_handle_undefined_instruction(void) in c_handle_undefined_instruction()
55 void VISIBLE NORETURN c_handle_enfp(void) in c_handle_enfp()
65 static inline void NORETURN c_handle_vm_fault(vm_fault_type_t type) in c_handle_vm_fault()
80 void VISIBLE NORETURN c_handle_data_fault(void) in c_handle_data_fault()
85 void VISIBLE NORETURN c_handle_instruction_fault(void) in c_handle_instruction_fault()
90 void VISIBLE NORETURN c_handle_interrupt(void) in c_handle_interrupt()
105 void NORETURN slowpath(syscall_t syscall) in slowpath()
183 VISIBLE NORETURN void c_handle_vcpu_fault(word_t hsr) in c_handle_vcpu_fault()
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | traps.h | 32 VISIBLE NORETURN;
35 VISIBLE NORETURN;
41 VISIBLE NORETURN;
44 VISIBLE NORETURN;
|
| /seL4-master/include/arch/arm/arch/fastpath/ |
| A D | fastpath.h | 15 NORETURN;
19 NORETURN;
27 NORETURN;
|
| /seL4-master/include/arch/x86/arch/fastpath/ |
| A D | fastpath.h | 19 NORETURN;
22 NORETURN;
29 NORETURN;
|
| /seL4-master/src/arch/x86/32/ |
| A D | c_traps.c | 22 USED static void NORETURN vmlaunch_failed(void) in vmlaunch_failed()
32 static void NORETURN restore_vmx(void) in restore_vmx()
104 void NORETURN VISIBLE restore_user_context(void);
105 void NORETURN VISIBLE restore_user_context(void) in restore_user_context()
|
| /seL4-master/src/arch/riscv/ |
| A D | c_traps.c | 22 void VISIBLE NORETURN restore_user_context(void) in restore_user_context()
102 void VISIBLE NORETURN c_handle_interrupt(void) in c_handle_interrupt()
114 void VISIBLE NORETURN c_handle_exception(void) in c_handle_exception()
147 void VISIBLE NORETURN slowpath(syscall_t syscall) in slowpath()
208 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) in c_handle_syscall()
|
| /seL4-master/src/arch/x86/64/ |
| A D | c_traps.c | 17 static void NORETURN vmlaunch_failed(word_t failInvalid, word_t failValid) in vmlaunch_failed()
34 static void NORETURN restore_vmx(void) in restore_vmx()
129 void VISIBLE NORETURN restore_user_context(void) in restore_user_context()
388 void VISIBLE NORETURN c_x64_handle_interrupt(int irq, int syscall);
389 void VISIBLE NORETURN c_x64_handle_interrupt(int irq, int syscall) in c_x64_handle_interrupt()
|
| /seL4-master/src/arch/x86/ |
| A D | c_traps.c | 29 void VISIBLE NORETURN c_handle_interrupt(int irq, int syscall) in c_handle_interrupt()
103 void NORETURN slowpath(syscall_t syscall) in slowpath()
145 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall, word_t reply) in c_handle_syscall()
147 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) in c_handle_syscall()
191 void VISIBLE NORETURN c_handle_vmexit(void) in c_handle_vmexit()
|
| A D | idle.c | 16 __attribute__((naked)) NORETURN void idle_thread(void) in idle_thread()
|
| /seL4-master/include/arch/riscv/arch/fastpath/ |
| A D | fastpath.h | 21 NORETURN;
25 NORETURN;
33 NORETURN;
97 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore()
|
| /seL4-master/include/ |
| A D | assert.h | 19 ) NORETURN;
28 ) NORETURN;
|
| A D | util.h | 73 #define NORETURN __attribute__((__noreturn__)) macro
130 void halt(void) NORETURN;
|
| /seL4-master/src/arch/arm/32/ |
| A D | idle.c | 29 void NORETURN NO_INLINE VISIBLE halt(void) in halt()
|
| A D | c_traps.c | 21 void VISIBLE NORETURN restore_user_context(void) in restore_user_context()
|
| /seL4-master/src/arch/arm/64/ |
| A D | idle.c | 19 void NORETURN NO_INLINE VISIBLE halt(void) in halt()
|
| A D | c_traps.c | 19 void VISIBLE NORETURN restore_user_context(void) in restore_user_context()
|
| /seL4-master/include/arch/arm/arch/kernel/ |
| A D | traps.h | 23 void VISIBLE NORETURN restore_user_context(void);
|
| /seL4-master/src/fastpath/ |
| A D | fastpath.c | 22 void NORETURN fastpath_call(word_t cptr, word_t msgInfo) in fastpath_call()
227 void NORETURN fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply) in fastpath_reply_recv()
229 void NORETURN fastpath_reply_recv(word_t cptr, word_t msgInfo) in fastpath_reply_recv()
|
| /seL4-master/include/arch/arm/arch/64/mode/fastpath/ |
| A D | fastpath.h | 99 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore()
|
| /seL4-master/include/arch/x86/arch/32/mode/fastpath/ |
| A D | fastpath.h | 93 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore()
|
| /seL4-master/include/arch/arm/arch/32/mode/fastpath/ |
| A D | fastpath.h | 115 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore()
|
| /seL4-master/include/arch/x86/arch/64/mode/fastpath/ |
| A D | fastpath.h | 122 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_… in fastpath_restore()
|