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

/seL4-test-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-test-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-test-master/projects/util_libs/libutils/include/utils/
H A Dattribute.h57 #define NORETURN __attribute__((__noreturn__)) macro
/seL4-test-master/kernel/include/
H A Dutil.h34 #define NORETURN __attribute__((__noreturn__)) macro

Completed in 82 milliseconds