Searched refs:ipi_count (Results 1 – 1 of 1) sorted by relevance
28 static uint32_t ipi_count[CONFIG_MP_MAX_NUM_CPUS]; variable40 ipi_count[_current_cpu->id]++; in z_trace_sched_ipi()49 memset(ipi_count, 0, sizeof(ipi_count)); in clear_ipi_counts()58 memcpy(set, ipi_count, n_elem * sizeof(*set)); in get_ipi_counts()
