Searched refs:immediate_ipi_test_data (Results 1 – 1 of 1) sorted by relevance
213 volatile uint64_t *ipi_test_data, *immediate_ipi_test_data; in arm64_ipi_test() local230 immediate_ipi_test_data = &arm64_ipi_test_data[i + MAX_CPUS]; in arm64_ipi_test()238 (void *)(uintptr_t)immediate_ipi_test_data)) == KERN_ALREADY_WAITING) { in arm64_ipi_test()252 while ((*ipi_test_data != i) || (*immediate_ipi_test_data != (i + MAX_CPUS))) { in arm64_ipi_test()257 current_cpu_number, i, timeout_ms, *ipi_test_data, *immediate_ipi_test_data); in arm64_ipi_test()