Searched refs:immediate_ipi_test_data (Results 1 – 1 of 1) sorted by relevance
209 volatile uint64_t *ipi_test_data, *immediate_ipi_test_data; in arm64_ipi_test() local226 immediate_ipi_test_data = &arm64_ipi_test_data[i + MAX_CPUS]; in arm64_ipi_test()234 (void *)(uintptr_t)immediate_ipi_test_data)) == KERN_ALREADY_WAITING) { in arm64_ipi_test()248 while ((*ipi_test_data != i) || (*immediate_ipi_test_data != (i + MAX_CPUS))) { in arm64_ipi_test()253 current_cpu_number, i, timeout_ms, *ipi_test_data, *immediate_ipi_test_data); in arm64_ipi_test()