// SPDX-License-Identifier: GPL-2.0 #include <linux/module.h> #include <linux/types.h> #include <video/nomodeset.h> static bool video_nomodeset; bool video_firmware_drivers_only(void) { … } EXPORT_SYMBOL(…); static int __init disable_modeset(char *str) { … } /* Disable kernel modesetting */ __setup(…);