Searched refs:ipi_count_mtx (Results 1 – 1 of 1) sorted by relevance
222 userland_mutex_t ipi_count_mtx; member228 lck_mtx_t *ipi_count_mtx; member233 void *ipi_count_mtx; member