Searched defs:NORETURN (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/include/
H A Dutil.h34 #define NORETURN __attribute__((__noreturn__)) macro

Completed in 50 milliseconds