HelenOS sources

cpu_halt          116 kernel/arch/arm32/include/arch/asm.h extern void cpu_halt(void) __attribute__((noreturn));
cpu_halt          468 kernel/arch/ia64/include/arch/asm.h extern void cpu_halt(void) __attribute__((noreturn));
cpu_halt           81 kernel/arch/mips32/include/arch/asm.h extern void cpu_halt(void) __attribute__((noreturn));
cpu_halt          210 kernel/arch/ppc32/include/arch/asm.h extern void cpu_halt(void) __attribute__((noreturn));
cpu_halt          138 kernel/arch/riscv64/include/arch/asm.h extern void cpu_halt(void) __attribute__((noreturn));
cpu_halt          529 kernel/arch/sparc64/include/arch/asm.h extern void cpu_halt(void) __attribute__((noreturn));
cpu_halt          114 kernel/generic/src/console/chardev.c 		cpu_halt();
cpu_halt           79 kernel/generic/src/lib/halt.c 	cpu_halt();