Date: Thu, 24 May 2012 12:25:07 -0400 From: John Baldwin <jhb@freebsd.org> To: Andriy Gapon <avg@freebsd.org> Cc: freebsd-current <freebsd-current@freebsd.org> Subject: Re: ACPI 'driver bug: Unable to set devclass' Message-ID: <201205241225.07399.jhb@freebsd.org> In-Reply-To: <4FBDD1FE.4030306@FreeBSD.org> References: <4FAF7343.8010808@cran.org.uk> <201205181045.16675.jhb@freebsd.org> <4FBDD1FE.4030306@FreeBSD.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On Thursday, May 24, 2012 2:15:26 am Andriy Gapon wrote: > > Now that you committed the acpi_cpu fix I'd like to do the easy part - > protection from the problem in the future. > Does the following look OK? > > Index: sys/kern/subr_bus.c > =================================================================== > --- sys/kern/subr_bus.c (revision 235884) > +++ sys/kern/subr_bus.c (working copy) > @@ -1810,6 +1810,8 @@ > > PDEBUG(("%s at %s with order %u as unit %d", > name, DEVICENAME(dev), order, unit)); > + KASSERT(name != NULL || unit == -1, > + ("child device with wildcard name and specific unit number")); > > child = make_device(dev, name, unit); > if (child == NULL) Yes, please do! -- John Baldwin
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201205241225.07399.jhb>