Searched refs:ipi_count_mtx (Results 1 – 1 of 1) sorted by relevance
216 userland_mutex_t ipi_count_mtx; member222 lck_mtx_t *ipi_count_mtx; member227 void *ipi_count_mtx; member