|
@@ -393,6 +393,15 @@ extern int panic_on_oops;
|
|
extern int panic_on_unrecovered_nmi;
|
|
extern int panic_on_unrecovered_nmi;
|
|
extern int panic_on_io_nmi;
|
|
extern int panic_on_io_nmi;
|
|
extern int sysctl_panic_on_stackoverflow;
|
|
extern int sysctl_panic_on_stackoverflow;
|
|
|
|
+/*
|
|
|
|
+ * Only to be used by arch init code. If the user over-wrote the default
|
|
|
|
+ * CONFIG_PANIC_TIMEOUT, honor it.
|
|
|
|
+ */
|
|
|
|
+static inline void set_arch_panic_timeout(int timeout, int arch_default_timeout)
|
|
|
|
+{
|
|
|
|
+ if (panic_timeout == arch_default_timeout)
|
|
|
|
+ panic_timeout = timeout;
|
|
|
|
+}
|
|
extern const char *print_tainted(void);
|
|
extern const char *print_tainted(void);
|
|
enum lockdep_ok {
|
|
enum lockdep_ok {
|
|
LOCKDEP_STILL_OK,
|
|
LOCKDEP_STILL_OK,
|