HelenOS sources

arch_reboot        91 kernel/arch/abs32le/src/abs32le.c void arch_reboot(void)
arch_reboot       279 kernel/arch/amd64/src/amd64.c void arch_reboot(void)
arch_reboot       151 kernel/arch/arm32/src/arm32.c void arch_reboot(void)
arch_reboot       234 kernel/arch/arm64/src/arm64.c void arch_reboot(void)
arch_reboot       264 kernel/arch/ia32/src/ia32.c void arch_reboot(void)
arch_reboot       258 kernel/arch/ia64/src/ia64.c void arch_reboot(void)
arch_reboot       196 kernel/arch/mips32/src/mips32.c void arch_reboot(void)
arch_reboot       316 kernel/arch/ppc32/src/ppc32.c void arch_reboot(void)
arch_reboot       119 kernel/arch/riscv64/src/riscv64.c void arch_reboot(void)
arch_reboot       176 kernel/arch/sparc64/src/sun4u/sparc64.c void arch_reboot(void)
arch_reboot       174 kernel/arch/sparc64/src/sun4v/sparc64.c void arch_reboot(void)