Searched refs:lpi_busy (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/sys/arm64/arm64/
H A Dgicv3_its.c148 u_int lpi_busy; /* Number of busy LPIs in chink */ member in struct:lpi_chunk
1157 its_dev->lpis.lpi_busy = 0;
1200 KASSERT(its_dev->lpis.lpi_busy == 0,
1324 its_dev->lpis.lpi_busy += count;
1344 KASSERT(its_dev->lpis.lpi_busy >= count,
1347 its_dev->lpis.lpi_busy));
1356 its_dev->lpis.lpi_busy -= count;
1358 if (its_dev->lpis.lpi_busy == 0)
1387 girq->gi_id = its_dev->lpis.lpi_busy;
1391 its_dev->lpis.lpi_busy
[all...]

Completed in 158 milliseconds