Searched refs:curr_ipi_ind (Results 1 – 1 of 1) sorted by relevance
74 static uint32_t curr_ipi_ind = 0; variable81 logged_ipis[curr_ipi_ind].cpu_id = dst->cpu_id; in sched_ipi_perform()82 logged_ipis[curr_ipi_ind].ipi_type = ipi; in sched_ipi_perform()83 curr_ipi_ind++; in sched_ipi_perform()390 assert(expect_ipi_ind < curr_ipi_ind); in impl_pop_ipi()