From 4a4da38fcfa055a69584afd6bbac398b9c250660 Mon Sep 17 00:00:00 2001 From: Hans Petter Selasky Date: Sat, 7 Jun 2014 15:51:29 +0000 Subject: [PATCH] Make WITNESS happy by giving USB mutexes different names. Reported by: trociny @ MFC after: 3 days --- sys/dev/usb/controller/usb_controller.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sys/dev/usb/controller/usb_controller.c b/sys/dev/usb/controller/usb_controller.c index 9f0e1162cb9..58b121bcddd 100644 --- a/sys/dev/usb/controller/usb_controller.c +++ b/sys/dev/usb/controller/usb_controller.c @@ -899,10 +899,10 @@ usb_bus_mem_alloc_all(struct usb_bus *bus, bus_dma_tag_t dmat, bus->alloc_failed = 0; mtx_init(&bus->bus_mtx, device_get_nameunit(bus->parent), - NULL, MTX_DEF | MTX_RECURSE); + "usb_def_mtx", MTX_DEF | MTX_RECURSE); mtx_init(&bus->bus_spin_lock, device_get_nameunit(bus->parent), - NULL, MTX_SPIN | MTX_RECURSE); + "usb_spin_mtx", MTX_SPIN | MTX_RECURSE); usb_callout_init_mtx(&bus->power_wdog, &bus->bus_mtx, 0);