taglinefilesource code
hard_reset_now52arch/alpha/kernel/process.cvoid hard_reset_now(void)
hard_reset_now75arch/i386/kernel/process.cvoid hard_reset_now(void)
hard_reset_now51arch/sparc/kernel/process.cvoid hard_reset_now(void)