Searched refs:immediate_ipi_test_data (Results 1 – 1 of 1) sorted by relevance
203 volatile uint64_t *ipi_test_data, *immediate_ipi_test_data; in arm64_ipi_test() local220 immediate_ipi_test_data = &arm64_ipi_test_data[i + MAX_CPUS]; in arm64_ipi_test()228 (void *)(uintptr_t)immediate_ipi_test_data)) == KERN_ALREADY_WAITING) { in arm64_ipi_test()242 while ((*ipi_test_data != i) || (*immediate_ipi_test_data != (i + MAX_CPUS))) { in arm64_ipi_test()247 current_cpu_number, i, timeout_ms, *ipi_test_data, *immediate_ipi_test_data); in arm64_ipi_test()