diff options
| -rw-r--r-- | arch/x86/kernel/reboot.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/arch/x86/kernel/reboot.c b/arch/x86/kernel/reboot.c index 14eed214b584..9242436e9937 100644 --- a/arch/x86/kernel/reboot.c +++ b/arch/x86/kernel/reboot.c | |||
| @@ -427,6 +427,22 @@ static struct dmi_system_id __initdata pci_reboot_dmi_table[] = { | |||
| 427 | DMI_MATCH(DMI_PRODUCT_NAME, "Latitude E6320"), | 427 | DMI_MATCH(DMI_PRODUCT_NAME, "Latitude E6320"), |
| 428 | }, | 428 | }, |
| 429 | }, | 429 | }, |
| 430 | { /* Handle problems with rebooting on the Latitude E5420. */ | ||
| 431 | .callback = set_pci_reboot, | ||
| 432 | .ident = "Dell Latitude E5420", | ||
| 433 | .matches = { | ||
| 434 | DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."), | ||
| 435 | DMI_MATCH(DMI_PRODUCT_NAME, "Latitude E5420"), | ||
| 436 | }, | ||
| 437 | }, | ||
| 438 | { /* Handle problems with rebooting on the Latitude E6420. */ | ||
| 439 | .callback = set_pci_reboot, | ||
| 440 | .ident = "Dell Latitude E6420", | ||
| 441 | .matches = { | ||
| 442 | DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."), | ||
| 443 | DMI_MATCH(DMI_PRODUCT_NAME, "Latitude E6420"), | ||
| 444 | }, | ||
| 445 | }, | ||
| 430 | { } | 446 | { } |
| 431 | }; | 447 | }; |
| 432 | 448 | ||
