Searched refs:lpi_busy (Results 1 – 1 of 1) sorted by relevance
1157 its_dev->lpis.lpi_busy = 0; in its_device_get()1200 KASSERT(its_dev->lpis.lpi_busy == 0, in its_device_release()1324 its_dev->lpis.lpi_busy += count; in gicv3_its_alloc_msi()1347 its_dev->lpis.lpi_busy)); in gicv3_its_release_msi()1356 its_dev->lpis.lpi_busy -= count; in gicv3_its_release_msi()1358 if (its_dev->lpis.lpi_busy == 0) in gicv3_its_release_msi()1387 girq->gi_id = its_dev->lpis.lpi_busy; in gicv3_its_alloc_msix()1391 its_dev->lpis.lpi_busy++; in gicv3_its_alloc_msix()1415 KASSERT(its_dev->lpis.lpi_busy > 0, in gicv3_its_release_msix()1424 its_dev->lpis.lpi_busy--; in gicv3_its_release_msix()[all …]