diff options
| author | John Baldwin <jhb@FreeBSD.org> | 2006-09-26 15:48:13 +0000 |
|---|---|---|
| committer | John Baldwin <jhb@FreeBSD.org> | 2006-09-26 15:48:13 +0000 |
| commit | bec0c98eaee483f59785559e03707d607d289d65 (patch) | |
| tree | b88635f4af267be60b954224e1c970420440db77 /sys/dev/ipmi | |
| parent | 3aaadbcce2041de64de74503ada73c6b780a8db6 (diff) | |
Notes
Diffstat (limited to 'sys/dev/ipmi')
| -rw-r--r-- | sys/dev/ipmi/ipmi.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sys/dev/ipmi/ipmi.c b/sys/dev/ipmi/ipmi.c index a3ba52e5428f..fb1da53bad2f 100644 --- a/sys/dev/ipmi/ipmi.c +++ b/sys/dev/ipmi/ipmi.c @@ -949,9 +949,11 @@ ipmi_unload(void *arg) int count; int i; - devclass_get_devices(ipmi_devclass, &devs, &count); + if (devclass_get_devices(ipmi_devclass, &devs, &count) != 0) + return; for (i = 0; i < count; i++) device_delete_child(device_get_parent(devs[i]), devs[i]); + free(devs, M_TEMP); } SYSUNINIT(ipmi_unload, SI_SUB_DRIVERS, SI_ORDER_FIRST, ipmi_unload, NULL); |