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)