36c36
< __FBSDID("$FreeBSD: stable/10/sys/dev/ofw/ofwbus.c 273675 2014-10-26 04:01:57Z ian $");
---
> __FBSDID("$FreeBSD: stable/10/sys/dev/ofw/ofwbus.c 283332 2015-05-23 22:33:06Z ian $");
402c402
< ofwbus_release_resource(device_t bus __unused, device_t child, int type,
---
> ofwbus_release_resource(device_t bus, device_t child, int type,
404a405
> struct resource_list_entry *rle;
406a408,412
> /* Clean resource list entry */
> rle = resource_list_find(BUS_GET_RESOURCE_LIST(bus, child), type, rid);
> if (rle != NULL)
> rle->res = NULL;
>