commit f3069ae9d76901d021362bb63d9ad6c5900dfc76
author Jean Delvare <khali@linux-fr.org> Sat Feb 23 15:23:46 2008 -0800
committer Linus Torvalds <torvalds@woody.linux-foundation.org> Sat Feb 23 17:12:14 2008 -0800
tree b8100cfd0f339484604e7ef75ebe1d2395ebd75e
parent c8626a1d7250c593f148530b559c20f6f6af18e8

dmi: don't save the same device twice

Now that we gather on-board devices from both DMI types 10 and 41, there is
a possibility that we list the same device twice.  In order to not confuse
drivers, and also to save memory, make sure that we do not add duplicate
devices to the dmi_devices list.

Signed-off-by: Jean Delvare <khali@linux-fr.org>
Cc: Wim Van Sebroeck <wim@iguana.be>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>