arch_default_timeout  548 include/linux/kernel.h static inline void set_arch_panic_timeout(int timeout, int arch_default_timeout)
arch_default_timeout  550 include/linux/kernel.h 	if (panic_timeout == arch_default_timeout)