13 files changed, 13 insertions, 13 deletions

diff --git a/sys/dev/dc/if_dc.c b/sys/dev/dc/if_dc.c
index 61672ef6c454..1fb594c0caa9 100644
--- a/sys/dev/dc/if_dc.c
+++ b/sys/dev/dc/if_dc.c
@@ -2319,7 +2319,7 @@ dc_detach(dev)
 	struct dc_mediainfo	*m;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->dc_mtx), "dc mutex not initialized");
+	KASSERT(mtx_initialized(&sc->dc_mtx), ("dc mutex not initialized"));
 	DC_LOCK(sc);
 
 	ifp = &sc->arpcom.ac_if;
diff --git a/sys/dev/sf/if_sf.c b/sys/dev/sf/if_sf.c
index 288ca7e95c50..bacce60f7cdb 100644
--- a/sys/dev/sf/if_sf.c
+++ b/sys/dev/sf/if_sf.c
@@ -835,7 +835,7 @@ sf_detach(dev)
 	struct ifnet		*ifp;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->sf_mtx), "sf mutex not initialized");
+	KASSERT(mtx_initialized(&sc->sf_mtx), ("sf mutex not initialized"));
 	SF_LOCK(sc);
 	ifp = &sc->arpcom.ac_if;
 
diff --git a/sys/dev/vr/if_vr.c b/sys/dev/vr/if_vr.c
index b6c1b28d2717..ca7c482fcf2d 100644
--- a/sys/dev/vr/if_vr.c
+++ b/sys/dev/vr/if_vr.c
@@ -921,7 +921,7 @@ vr_detach(dev)
 	struct ifnet		*ifp;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->vr_mtx), "vr mutex not initialized");
+	KASSERT(mtx_initialized(&sc->vr_mtx), ("vr mutex not initialized"));
 	VR_LOCK(sc);
 	ifp = &sc->arpcom.ac_if;
 
diff --git a/sys/pci/if_dc.c b/sys/pci/if_dc.c
index 61672ef6c454..1fb594c0caa9 100644
--- a/sys/pci/if_dc.c
+++ b/sys/pci/if_dc.c
@@ -2319,7 +2319,7 @@ dc_detach(dev)
 	struct dc_mediainfo	*m;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->dc_mtx), "dc mutex not initialized");
+	KASSERT(mtx_initialized(&sc->dc_mtx), ("dc mutex not initialized"));
 	DC_LOCK(sc);
 
 	ifp = &sc->arpcom.ac_if;
diff --git a/sys/pci/if_pcn.c b/sys/pci/if_pcn.c
index dccd125ee685..1a25adf01cb6 100644
--- a/sys/pci/if_pcn.c
+++ b/sys/pci/if_pcn.c
@@ -674,7 +674,7 @@ pcn_detach(dev)
 	sc = device_get_softc(dev);
 	ifp = &sc->arpcom.ac_if;
 
-	KASSERT(mtx_initialized(&sc->pcn_mtx), "pcn mutex not initialized");
+	KASSERT(mtx_initialized(&sc->pcn_mtx), ("pcn mutex not initialized"));
 	PCN_LOCK(sc);
 
 	if (device_is_alive(dev)) {
diff --git a/sys/pci/if_rl.c b/sys/pci/if_rl.c
index 62c4624ed760..7ce150000302 100644
--- a/sys/pci/if_rl.c
+++ b/sys/pci/if_rl.c
@@ -1103,7 +1103,7 @@ rl_detach(dev)
 	struct ifnet		*ifp;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->rl_mtx), "rl mutex not initialized");
+	KASSERT(mtx_initialized(&sc->rl_mtx), ("rl mutex not initialized"));
 	RL_LOCK(sc);
 	ifp = &sc->arpcom.ac_if;
 
diff --git a/sys/pci/if_sf.c b/sys/pci/if_sf.c
index 288ca7e95c50..bacce60f7cdb 100644
--- a/sys/pci/if_sf.c
+++ b/sys/pci/if_sf.c
@@ -835,7 +835,7 @@ sf_detach(dev)
 	struct ifnet		*ifp;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->sf_mtx), "sf mutex not initialized");
+	KASSERT(mtx_initialized(&sc->sf_mtx), ("sf mutex not initialized"));
 	SF_LOCK(sc);
 	ifp = &sc->arpcom.ac_if;
 
diff --git a/sys/pci/if_sis.c b/sys/pci/if_sis.c
index 7c7b3cc2bccf..f8f3a773f69f 100644
--- a/sys/pci/if_sis.c
+++ b/sys/pci/if_sis.c
@@ -1428,7 +1428,7 @@ sis_detach(dev)
 	struct ifnet		*ifp;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->sis_mtx), "sis mutex not initialized");
+	KASSERT(mtx_initialized(&sc->sis_mtx), ("sis mutex not initialized"));
 	SIS_LOCK(sc);
 	ifp = &sc->arpcom.ac_if;
 
diff --git a/sys/pci/if_ste.c b/sys/pci/if_ste.c
index 9b46ba8b31fa..ecb26a031f07 100644
--- a/sys/pci/if_ste.c
+++ b/sys/pci/if_ste.c
@@ -1095,7 +1095,7 @@ ste_detach(dev)
 	struct ifnet		*ifp;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->ste_mtx), "ste mutex not initialized");
+	KASSERT(mtx_initialized(&sc->ste_mtx), ("ste mutex not initialized"));
 	STE_LOCK(sc);
 	ifp = &sc->arpcom.ac_if;
 
diff --git a/sys/pci/if_tl.c b/sys/pci/if_tl.c
index 1b8bf7bc9da0..6c0c399875ba 100644
--- a/sys/pci/if_tl.c
+++ b/sys/pci/if_tl.c
@@ -1352,7 +1352,7 @@ tl_detach(dev)
 	struct ifnet		*ifp;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->tl_mtx), "tl mutex not initialized");
+	KASSERT(mtx_initialized(&sc->tl_mtx), ("tl mutex not initialized"));
 	TL_LOCK(sc);
 	ifp = &sc->arpcom.ac_if;
 
diff --git a/sys/pci/if_vr.c b/sys/pci/if_vr.c
index b6c1b28d2717..ca7c482fcf2d 100644
--- a/sys/pci/if_vr.c
+++ b/sys/pci/if_vr.c
@@ -921,7 +921,7 @@ vr_detach(dev)
 	struct ifnet		*ifp;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->vr_mtx), "vr mutex not initialized");
+	KASSERT(mtx_initialized(&sc->vr_mtx), ("vr mutex not initialized"));
 	VR_LOCK(sc);
 	ifp = &sc->arpcom.ac_if;
 
diff --git a/sys/pci/if_wb.c b/sys/pci/if_wb.c
index adc8d83d59c7..c843db28b718 100644
--- a/sys/pci/if_wb.c
+++ b/sys/pci/if_wb.c
@@ -984,7 +984,7 @@ wb_detach(dev)
 	struct ifnet		*ifp;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->wb_mtx), "wb mutex not initialized");
+	KASSERT(mtx_initialized(&sc->wb_mtx), ("wb mutex not initialized"));
 	WB_LOCK(sc);
 	ifp = &sc->arpcom.ac_if;
 
diff --git a/sys/pci/if_xl.c b/sys/pci/if_xl.c
index 05cd7b44dea8..50ae7bea10b6 100644
--- a/sys/pci/if_xl.c
+++ b/sys/pci/if_xl.c
@@ -1740,7 +1740,7 @@ xl_detach(dev)
 	int			rid, res;
 
 	sc = device_get_softc(dev);
-	KASSERT(mtx_initialized(&sc->xl_mtx), "xl mutex not initialized");
+	KASSERT(mtx_initialized(&sc->xl_mtx), ("xl mutex not initialized"));
 	XL_LOCK(sc);
 	ifp = &sc->arpcom.ac_if;