Home | History | Annotate | Download | only in kern

Lines Matching refs:dv_pending

1445 	KASSERTMSG(dev->dv_pending == 0, "%d", dev->dv_pending);
1463 KASSERTMSG(dev->dv_pending == 0, "%d", dev->dv_pending);
1494 KASSERTMSG(dev->dv_pending == 0, "%d", dev->dv_pending);
1859 deferred = (dev->dv_pending != 0);
2075 while (dev->dv_pending || dev->dv_detaching) {
2630 KASSERTMSG(dev->dv_pending < INT_MAX,
2632 if (dev->dv_pending++ == 0)
2635 printf("%s: %s %d\n", __func__, device_xname(dev), dev->dv_pending);
2645 KASSERTMSG(dev->dv_pending > 0,
2647 if (--dev->dv_pending == 0) {
2652 printf("%s: %s %d\n", __func__, device_xname(dev), dev->dv_pending);