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

/seL4-l4v-10.1.1/seL4/src/arch/riscv/
H A Didle.c37 UNREACHABLE();
H A Dc_traps.c95 UNREACHABLE();
108 UNREACHABLE();
121 UNREACHABLE();
135 UNREACHABLE();
148 UNREACHABLE();
151 UNREACHABLE();
155 UNREACHABLE();
/seL4-l4v-10.1.1/seL4/src/arch/x86/
H A Didle.c36 UNREACHABLE();
H A Dc_traps.c106 UNREACHABLE();
144 UNREACHABLE();
176 UNREACHABLE();
179 UNREACHABLE();
183 UNREACHABLE();
213 UNREACHABLE();
/seL4-l4v-10.1.1/seL4/src/arch/arm/
H A Dc_traps.c48 UNREACHABLE();
54 UNREACHABLE();
65 UNREACHABLE();
82 UNREACHABLE();
121 UNREACHABLE();
138 UNREACHABLE();
141 UNREACHABLE();
152 UNREACHABLE();
155 UNREACHABLE();
171 UNREACHABLE();
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/
H A Didle.c43 UNREACHABLE();
H A Dc_traps.c77 UNREACHABLE();
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/
H A Didle.c37 UNREACHABLE();
H A Dc_traps.c74 UNREACHABLE();
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/
H A Dc_traps.c105 UNREACHABLE();
132 UNREACHABLE();
250 UNREACHABLE();
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dc_traps.c131 UNREACHABLE();
155 UNREACHABLE();
400 UNREACHABLE();
420 UNREACHABLE();
/seL4-l4v-10.1.1/seL4/src/arch/x86/api/
H A Dfaults.c98 UNREACHABLE();
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h188 UNREACHABLE();
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/fastpath/
H A Dfastpath.h159 UNREACHABLE();
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/fastpath/
H A Dfastpath.h175 UNREACHABLE();
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h197 UNREACHABLE();
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h285 UNREACHABLE();
/seL4-l4v-10.1.1/seL4/include/
H A Dutil.h54 #define UNREACHABLE() __builtin_unreachable() macro
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml3900 else failwith "UNREACHABLE"

Completed in 80 milliseconds