x86/kernel/reboot.c

54  * Dell Inc. so their systems "just work". :-)
279 	/* Dell */
280 	{	/* Handle problems with rebooting on Dell DXP061 */
282 		.ident = "Dell DXP061",
284 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
285 			DMI_MATCH(DMI_PRODUCT_NAME, "Dell DXP061"),
288 	{	/* Handle problems with rebooting on Dell E520's */
290 		.ident = "Dell E520",
292 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
293 			DMI_MATCH(DMI_PRODUCT_NAME, "Dell DM061"),
298 		.ident = "Dell Latitude E5410",
300 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
306 		.ident = "Dell Latitude E5420",
308 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
314 		.ident = "Dell Latitude E6320",
316 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
322 		.ident = "Dell Latitude E6420",
324 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
328 	{	/* Handle problems with rebooting on Dell Optiplex 330 with 0KP561 */
330 		.ident = "Dell OptiPlex 330",
332 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
337 	{	/* Handle problems with rebooting on Dell Optiplex 360 with 0T656F */
339 		.ident = "Dell OptiPlex 360",
341 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
346 	{	/* Handle problems with rebooting on Dell Optiplex 745's SFF */
348 		.ident = "Dell OptiPlex 745",
350 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
354 	{	/* Handle problems with rebooting on Dell Optiplex 745's DFF */
356 		.ident = "Dell OptiPlex 745",
358 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
363 	{	/* Handle problems with rebooting on Dell Optiplex 745 with 0KW626 */
365 		.ident = "Dell OptiPlex 745",
367 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
372 	{	/* Handle problems with rebooting on Dell OptiPlex 760 with 0G919G */
374 		.ident = "Dell OptiPlex 760",
376 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
383 		.ident = "Dell OptiPlex 990 BIOS A0x",
385 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
390 	{	/* Handle problems with rebooting on Dell 300's */
392 		.ident = "Dell PowerEdge 300",
394 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Computer Corporation"),
398 	{	/* Handle problems with rebooting on Dell 1300's */
400 		.ident = "Dell PowerEdge 1300",
402 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Computer Corporation"),
406 	{	/* Handle problems with rebooting on Dell 2400's */
408 		.ident = "Dell PowerEdge 2400",
410 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Computer Corporation"),
414 	{	/* Handle problems with rebooting on the Dell PowerEdge C6100. */
416 		.ident = "Dell PowerEdge C6100",
418 			DMI_MATCH(DMI_SYS_VENDOR, "Dell"),
424 		.ident = "Dell Precision M6600",
426 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
430 	{	/* Handle problems with rebooting on Dell T5400's */
432 		.ident = "Dell Precision T5400",
434 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
438 	{	/* Handle problems with rebooting on Dell T7400's */
440 		.ident = "Dell Precision T7400",
442 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
446 	{	/* Handle problems with rebooting on Dell XPS710 */
448 		.ident = "Dell XPS710",
450 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
451 			DMI_MATCH(DMI_PRODUCT_NAME, "Dell XPS710"),
454 	{	/* Handle problems with rebooting on Dell Optiplex 7450 AIO */
456 		.ident = "Dell OptiPlex 7450 AIO",
458 			DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),