Searched refs:expect_ipi_ind (Results 1 – 1 of 1) sorted by relevance
75 static uint32_t expect_ipi_ind = 0; variable390 assert(expect_ipi_ind < curr_ipi_ind); in impl_pop_ipi()391 *cpu_id = logged_ipis[expect_ipi_ind].cpu_id; in impl_pop_ipi()392 *ipi_type = (test_ipi_type_t)logged_ipis[expect_ipi_ind].ipi_type; in impl_pop_ipi()393 expect_ipi_ind++; in impl_pop_ipi()