Searched refs:halt (Results 1 - 22 of 22) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/
H A Didle.c18 void VISIBLE halt(void) function
20 /* halt is actually, idle thread without the interrupts */
/seL4-camkes-master/kernel/src/arch/riscv/
H A Didle.c19 void VISIBLE NO_INLINE halt(void) function
/seL4-camkes-master/kernel/src/
H A Dassert.c25 halt();
40 halt();
/seL4-camkes-master/kernel/src/arch/arm/32/
H A Didle.c29 void NORETURN NO_INLINE VISIBLE halt(void) function
31 /* halt is actually, idle thread without the interrupts */
H A Dhyp_traps.S228 blx halt
232 blx halt
H A Dtraps.S224 blx halt
228 blx halt
/seL4-camkes-master/kernel/src/arch/arm/64/
H A Didle.c19 void NORETURN NO_INLINE VISIBLE halt(void) function
21 /* halt is actually, idle thread without the interrupts */
H A Dtraps.S100 b halt
119 b halt
126 b halt
/seL4-camkes-master/kernel/src/arch/arm/armv/armv7-a/
H A Dtlb.c45 halt();
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Derror.h186 /* Exit with failure and also try to halt the entire system if possible.
216 /* Convenience for using halt() inside macro definitions. This is not expected
217 * to be called from user code. Note that it does not halt on a non-debug
221 #define halt() seL4_DebugHalt() macro
223 #define halt() do { } while (0) macro
247 halt(); \
/seL4-camkes-master/kernel/include/
H A Dassert.h35 #define fail(s) halt()
H A Dutil.h93 void halt(void) NORETURN;
/seL4-camkes-master/kernel/src/arch/x86/api/
H A Dfaults.c90 halt();
/seL4-camkes-master/kernel/src/api/
H A Dsyscall.c86 printf("Debug halt syscall from user thread %p \"%s\"\n", tptr, TCB_PTR_DEBUG_PTR(tptr)->tcbName);
87 halt();
109 * then assume the system is completely misconfigured and halt */
118 halt();
124 halt();
130 halt();
142 halt();
146 halt();
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c205 halt();
218 halt();
228 halt();
/seL4-camkes-master/projects/cakeml_libs/cakeml_libraries/libvirtqueue/
H A DvirtqueueScript.sml30 (* If a result is Ok, fetch its value, else halt the program by calling fail *)
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dnet.h169 void (*halt)(struct eth_device *); member in struct:eth_device
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dnet.h179 void (*halt)(struct eth_device *); member in struct:eth_device
/seL4-camkes-master/kernel/src/arch/arm/kernel/
H A Dboot.c61 halt();
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2797 halt();
2809 halt();
2820 halt();
2833 halt();
2845 halt();
/seL4-camkes-master/kernel/src/kernel/
H A Dboot.c795 halt();
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c2445 halt();
2457 halt();

Completed in 189 milliseconds