Use NULL as a mtx type instead of "", as it otherwise confuses WITNESS.

This commit is contained in:
Olivier Houchard 2018-02-24 14:34:23 +00:00
parent 4f3cad09fe
commit 6cd04bcd8e
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=329908

View File

@ -448,7 +448,7 @@ arm_gic_attach(device_t dev)
gic_sc = sc;
/* Initialize mutex */
mtx_init(&sc->mutex, "GIC lock", "", MTX_SPIN);
mtx_init(&sc->mutex, "GIC lock", NULL, MTX_SPIN);
/* Distributor Interface */
sc->gic_d_bst = rman_get_bustag(sc->gic_res[0]);
@ -1423,7 +1423,7 @@ arm_gicv2m_attach(device_t dev)
arm_gic_reserve_msi_range(device_get_parent(dev), sc->sc_spi_start,
sc->sc_spi_count);
mtx_init(&sc->sc_mutex, "GICv2m lock", "", MTX_DEF);
mtx_init(&sc->sc_mutex, "GICv2m lock", NULL, MTX_DEF);
intr_msi_register(dev, sc->sc_xref);