diff options
Diffstat (limited to 'init')
| -rw-r--r-- | init/main.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/init/main.c b/init/main.c index af310afbef28..27bbec1a5b35 100644 --- a/init/main.c +++ b/init/main.c | |||
| @@ -136,6 +136,13 @@ static char *execute_command; | |||
| 136 | static char *ramdisk_execute_command; | 136 | static char *ramdisk_execute_command; |
| 137 | 137 | ||
| 138 | /* | 138 | /* |
| 139 | * Used to generate warnings if static_key manipulation functions are used | ||
| 140 | * before jump_label_init is called. | ||
| 141 | */ | ||
| 142 | bool static_key_initialized __read_mostly = false; | ||
| 143 | EXPORT_SYMBOL_GPL(static_key_initialized); | ||
| 144 | |||
| 145 | /* | ||
| 139 | * If set, this is an indication to the drivers that reset the underlying | 146 | * If set, this is an indication to the drivers that reset the underlying |
| 140 | * device before going ahead with the initialization otherwise driver might | 147 | * device before going ahead with the initialization otherwise driver might |
| 141 | * rely on the BIOS and skip the reset operation. | 148 | * rely on the BIOS and skip the reset operation. |
