Searched refs:ipi_count_mtx (Results 1 – 1 of 1) sorted by relevance
224 userland_mutex_t ipi_count_mtx; member230 lck_mtx_t *ipi_count_mtx; member235 void *ipi_count_mtx; member