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

12

/seL4-camkes-master/kernel/src/arch/x86/
H A Didle.c30 UNREACHABLE();
H A Dc_traps.c100 UNREACHABLE();
138 UNREACHABLE();
173 UNREACHABLE();
180 UNREACHABLE();
184 UNREACHABLE();
218 UNREACHABLE();
/seL4-camkes-master/kernel/src/arch/riscv/
H A Didle.c27 UNREACHABLE();
H A Dc_traps.c99 UNREACHABLE();
111 UNREACHABLE();
144 UNREACHABLE();
157 UNREACHABLE();
170 UNREACHABLE();
177 UNREACHABLE();
181 UNREACHABLE();
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dsys_pause.c29 UNREACHABLE();
H A Derror.c49 UNREACHABLE();
/seL4-camkes-master/kernel/src/arch/arm/32/
H A Didle.c41 UNREACHABLE();
H A Dc_traps.c68 UNREACHABLE();
/seL4-camkes-master/kernel/src/arch/arm/64/
H A Didle.c31 UNREACHABLE();
H A Dc_traps.c66 UNREACHABLE();
/seL4-camkes-master/kernel/src/arch/arm/
H A Dc_traps.c41 UNREACHABLE();
51 UNREACHABLE();
61 UNREACHABLE();
77 UNREACHABLE();
123 UNREACHABLE();
137 UNREACHABLE();
153 UNREACHABLE();
176 UNREACHABLE();
194 UNREACHABLE();
/seL4-camkes-master/kernel/src/arch/x86/32/
H A Dc_traps.c100 UNREACHABLE();
127 UNREACHABLE();
204 UNREACHABLE();
/seL4-camkes-master/kernel/src/arch/x86/64/
H A Dc_traps.c125 UNREACHABLE();
149 UNREACHABLE();
385 UNREACHABLE();
405 UNREACHABLE();
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Derror.h243 UNREACHABLE(); \
254 UNREACHABLE(); \
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4IOAPICHardwareInterrupt.template.c100 UNREACHABLE();
H A DseL4HardwareInterrupt.template.c231 UNREACHABLE();
H A Drpc-connector-common-to.c270 UNREACHABLE();
H A DseL4DTBHardware-to.template.c207 UNREACHABLE();
H A DseL4GDB-to.template.c150 UNREACHABLE();
/seL4-camkes-master/projects/util_libs/libutils/include/utils/
H A Dbuiltin.h38 /* The UNREACHABLE macro is used in some code that is imported to Isabelle via
50 #define UNREACHABLE() \ macro
H A Dzf_log.h366 _ZF_LOG_IMP(ZF_LOG_FATAL, _ZF_LOG_TAG, __VA_ARGS__); UNREACHABLE();\
369 _ZF_LOG_MEM_IMP(ZF_LOG_FATAL, _ZF_LOG_TAG, __VA_ARGS__); UNREACHABLE();\
/seL4-camkes-master/kernel/src/arch/x86/api/
H A Dfaults.c91 UNREACHABLE();
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h171 UNREACHABLE();
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/fastpath/
H A Dfastpath.h151 UNREACHABLE();
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h135 UNREACHABLE();

Completed in 125 milliseconds

12