Searched refs:curr_ipi_ind (Results 1 – 2 of 2) sorted by relevance
446 static uint32_t curr_ipi_ind = 0; variable453 logged_ipis[curr_ipi_ind].cpu_id = dst->cpu_id; in sched_ipi_perform()454 logged_ipis[curr_ipi_ind].ipi_type = ipi; in sched_ipi_perform()455 curr_ipi_ind++; in sched_ipi_perform()
389 assert(expect_ipi_ind < curr_ipi_ind); in impl_pop_ipi()