Searched refs:NORETURN (Results 1 - 25 of 25) sorted by relevance

/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/
H A Dtraps.h23 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 Dfastpath.h15 NORETURN;
19 NORETURN;
27 NORETURN;
/seL4-camkes-master/kernel/include/arch/x86/arch/fastpath/
H A Dfastpath.h19 NORETURN;
22 NORETURN;
29 NORETURN;
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dtraps.h32 VISIBLE NORETURN; variable
35 VISIBLE NORETURN; variable
41 VISIBLE NORETURN; variable
44 VISIBLE NORETURN; variable
/seL4-camkes-master/kernel/include/
H A Dassert.h19 ) NORETURN;
28 ) NORETURN;
H A Dutil.h34 #define NORETURN __attribute__((__noreturn__)) macro
93 void halt(void) NORETURN;
/seL4-camkes-master/kernel/src/arch/arm/32/
H A Didle.c29 void NORETURN NO_INLINE VISIBLE halt(void)
H A Dc_traps.c21 void VISIBLE NORETURN restore_user_context(void)
/seL4-camkes-master/kernel/src/arch/arm/64/
H A Didle.c19 void NORETURN NO_INLINE VISIBLE halt(void)
H A Dc_traps.c19 void VISIBLE NORETURN restore_user_context(void)
/seL4-camkes-master/kernel/src/arch/arm/
H A Dc_traps.c19 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 Dc_traps.c22 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 Dc_traps.c22 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 Dc_traps.c17 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 Dkernel.c106 void NORETURN
/seL4-camkes-master/kernel/include/arch/arm/arch/kernel/
H A Dtraps.h23 void VISIBLE NORETURN restore_user_context(void);
/seL4-camkes-master/kernel/include/arch/riscv/arch/fastpath/
H A Dfastpath.h21 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 Dc_traps.c29 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 Dattribute.h57 #define NORETURN __attribute__((__noreturn__)) macro
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h115 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 Dfastpath.h99 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 Dfastpath.h93 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 Dfastpath.c24 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 Dfastpath.h122 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 Dcomponent.common.c506 void USED NORETURN _camkes_start_c(int thread_id) {
566 static void fault_handler(void) UNUSED NORETURN; variable

Completed in 822 milliseconds