diff options
| author | Jean Delvare <[email protected]> | 2008-02-23 15:23:46 -0800 |
|---|---|---|
| committer | Linus Torvalds <[email protected]> | 2008-02-23 17:12:14 -0800 |
| commit | f3069ae9d76901d021362bb63d9ad6c5900dfc76 (patch) | |
| tree | b8100cfd0f339484604e7ef75ebe1d2395ebd75e /include/linux/debugobjects.h | |
| parent | c8626a1d7250c593f148530b559c20f6f6af18e8 (diff) | |
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 <[email protected]>
Cc: Wim Van Sebroeck <[email protected]>
Signed-off-by: Andrew Morton <[email protected]>
Signed-off-by: Linus Torvalds <[email protected]>
Diffstat (limited to 'include/linux/debugobjects.h')
0 files changed, 0 insertions, 0 deletions