tree b8100cfd0f339484604e7ef75ebe1d2395ebd75e
parent c8626a1d7250c593f148530b559c20f6f6af18e8
author Jean Delvare <khali@linux-fr.org> 1203809026 -0800
committer Linus Torvalds <torvalds@woody.linux-foundation.org> 1203815534 -0800

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>