Searched refs:logged_ipis (Results 1 – 2 of 2) sorted by relevance
413 static logged_ipi_t logged_ipis[MAX_LOGGED_IPIS]; variable421 logged_ipis[curr_ipi_ind].cpu_id = dst->cpu_id; in sched_ipi_perform()422 logged_ipis[curr_ipi_ind].ipi_type = ipi; in sched_ipi_perform()
449 *cpu_id = logged_ipis[expect_ipi_ind].cpu_id; in impl_pop_ipi()450 *ipi_type = (test_ipi_type_t)logged_ipis[expect_ipi_ind].ipi_type; in impl_pop_ipi()