| Submitter | Colin King |
|---|---|
| Date | Dec. 19, 2012, 10:08 p.m. |
| Message ID | <1355954898-15402-2-git-send-email-colin.king@canonical.com> |
| Download | mbox | patch |
| Permalink | /patch/207529/ |
| State | New |
| Headers | show |
Comments
Patch
diff --git a/drivers/platform/x86/samsung-laptop.c b/drivers/platform/x86/samsung-laptop.c index 7c42a4c..00ffed9 100644 --- a/drivers/platform/x86/samsung-laptop.c +++ b/drivers/platform/x86/samsung-laptop.c @@ -21,6 +21,7 @@ #include <linux/dmi.h> #include <linux/platform_device.h> #include <linux/rfkill.h> +#include <linux/efi.h> /* * This driver is needed because a number of Samsung laptops do not hook @@ -793,6 +794,9 @@ static int __init samsung_init(void) int loca; int retval; + if (efi_enabled) + return -ENODEV; + mutex_init(&sabi_mutex); if (!force && !dmi_check_system(samsung_dmi_table))