A chamada do sistema reboot
é definida em kernel/reboot.c
- procure por SYSCALL_DEFINE4(reboot
.
Para sistemas ARM, você provavelmente estará interessado no suporte específico do ARM em
arch/arm/kernel/reboot.c
, e talvez em suporte específico à máquina em um dos diretórios arch/arm/mach-…
.