Devices under the firmware_attributes_class do not have unique a dev_t.
Therefore, device_unregister() should be used instead of
device_destroy(), since the latter may match any device with a given
dev_t.
Fixes:
|
||
|---|---|---|
| .. | ||
| hp-bioscfg | ||
| Kconfig | ||
| Makefile | ||
| hp-wmi.c | ||
| hp_accel.c | ||
| tc1100-wmi.c | ||