taglinefilesource code
hard_reset_now39arch/alpha/kernel/process.cvoid hard_reset_now(void)
hard_reset_now46arch/sparc/kernel/process.cvoid hard_reset_now(void)
hard_reset_now1169drivers/char/keyboard.cvoid hard_reset_now(void)