Searched refs:logged_ipis (Results 1 – 1 of 1) sorted by relevance
73 static logged_ipi_t logged_ipis[MAX_LOGGED_IPIS]; 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()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()