/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | traps.h | 23 VISIBLE NORETURN; variable 26 VISIBLE NORETURN; variable 29 VISIBLE NORETURN; variable 32 VISIBLE NORETURN; variable
|
/seL4-camkes-master/kernel/include/arch/arm/arch/fastpath/ |
H A D | fastpath.h | 15 NORETURN; 19 NORETURN; 27 NORETURN;
|
/seL4-camkes-master/kernel/include/arch/x86/arch/fastpath/ |
H A D | fastpath.h | 19 NORETURN; 22 NORETURN; 29 NORETURN;
|
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | traps.h | 32 VISIBLE NORETURN; variable 35 VISIBLE NORETURN; variable 41 VISIBLE NORETURN; variable 44 VISIBLE NORETURN; variable
|
/seL4-camkes-master/kernel/include/ |
H A D | assert.h | 19 ) NORETURN; 28 ) NORETURN;
|
H A D | util.h | 34 #define NORETURN __attribute__((__noreturn__)) macro 93 void halt(void) NORETURN;
|
/seL4-camkes-master/kernel/src/arch/arm/32/ |
H A D | idle.c | 29 void NORETURN NO_INLINE VISIBLE halt(void)
|
H A D | c_traps.c | 21 void VISIBLE NORETURN restore_user_context(void)
|
/seL4-camkes-master/kernel/src/arch/arm/64/ |
H A D | idle.c | 19 void NORETURN NO_INLINE VISIBLE halt(void)
|
H A D | c_traps.c | 19 void VISIBLE NORETURN restore_user_context(void)
|
/seL4-camkes-master/kernel/src/arch/arm/ |
H A D | c_traps.c | 19 void VISIBLE NORETURN c_handle_undefined_instruction(void) 55 void VISIBLE NORETURN c_handle_enfp(void) 65 static inline void NORETURN c_handle_vm_fault(vm_fault_type_t type) 80 void VISIBLE NORETURN c_handle_data_fault(void) 85 void VISIBLE NORETURN c_handle_instruction_fault(void) 90 void VISIBLE NORETURN c_handle_interrupt(void) 107 void NORETURN slowpath(syscall_t syscall) 182 VISIBLE NORETURN void c_handle_vcpu_fault(word_t hsr)
|
/seL4-camkes-master/kernel/src/arch/x86/32/ |
H A D | c_traps.c | 22 USED static void NORETURN vmlaunch_failed(void) 32 static void NORETURN restore_vmx(void) 104 void NORETURN VISIBLE restore_user_context(void); 105 void NORETURN VISIBLE restore_user_context(void)
|
/seL4-camkes-master/kernel/src/arch/riscv/ |
H A D | c_traps.c | 22 void VISIBLE NORETURN restore_user_context(void) 102 void VISIBLE NORETURN c_handle_interrupt(void) 114 void VISIBLE NORETURN c_handle_exception(void) 147 void NORETURN slowpath(syscall_t syscall) 160 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, word_t unused1, word_t unused2, word_t unused3,
|
/seL4-camkes-master/kernel/src/arch/x86/64/ |
H A D | c_traps.c | 17 static void NORETURN vmlaunch_failed(word_t failInvalid, word_t failValid) 34 static void NORETURN restore_vmx(void) 129 void VISIBLE NORETURN restore_user_context(void) 388 void VISIBLE NORETURN c_x64_handle_interrupt(int irq, int syscall); 389 void VISIBLE NORETURN c_x64_handle_interrupt(int irq, int syscall)
|
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | kernel.c | 106 void NORETURN
|
/seL4-camkes-master/kernel/include/arch/arm/arch/kernel/ |
H A D | traps.h | 23 void VISIBLE NORETURN restore_user_context(void);
|
/seL4-camkes-master/kernel/include/arch/riscv/arch/fastpath/ |
H A D | fastpath.h | 21 NORETURN; 24 NORETURN; 31 NORETURN; 95 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread)
|
/seL4-camkes-master/kernel/src/arch/x86/ |
H A D | c_traps.c | 29 void VISIBLE NORETURN c_handle_interrupt(int irq, int syscall) 103 void NORETURN slowpath(syscall_t syscall) 142 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall, word_t reply) 144 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) 188 void VISIBLE NORETURN c_handle_vmexit(void)
|
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | attribute.h | 57 #define NORETURN __attribute__((__noreturn__)) macro
|
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
H A D | fastpath.h | 115 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread)
|
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/fastpath/ |
H A D | fastpath.h | 99 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread)
|
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/fastpath/ |
H A D | fastpath.h | 93 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread)
|
/seL4-camkes-master/kernel/src/fastpath/ |
H A D | fastpath.c | 24 void NORETURN fastpath_call(word_t cptr, word_t msgInfo) 231 void NORETURN fastpath_reply_recv(word_t cptr, word_t msgInfo, word_t reply) 233 void NORETURN fastpath_reply_recv(word_t cptr, word_t msgInfo)
|
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 122 static inline void NORETURN FORCE_INLINE fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread)
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.common.c | 506 void USED NORETURN _camkes_start_c(int thread_id) { 566 static void fault_handler(void) UNUSED NORETURN; variable
|