Searched refs:immediate_ipi_test_data (Results 1 – 1 of 1) sorted by relevance
210 volatile uint64_t *ipi_test_data, *immediate_ipi_test_data; in arm64_ipi_test() local227 immediate_ipi_test_data = &arm64_ipi_test_data[i + MAX_CPUS]; in arm64_ipi_test()235 (void *)(uintptr_t)immediate_ipi_test_data)) == KERN_ALREADY_WAITING) { in arm64_ipi_test()249 while ((*ipi_test_data != i) || (*immediate_ipi_test_data != (i + MAX_CPUS))) { in arm64_ipi_test()254 current_cpu_number, i, timeout_ms, *ipi_test_data, *immediate_ipi_test_data); in arm64_ipi_test()