1044 smp_send_ici(int32 targetCPU, int32 message, addr_t data, addr_t data2,  in smp_send_ici()  argument
1050 		"data3 0x%lx, ptr %p, flags 0x%lx\n", targetCPU, message, data, data2,  in smp_send_ici()
1061 		if (targetCPU == currentCPU) {  in smp_send_ici()
1081 			next = atomic_pointer_get(&sCPUMessages[targetCPU]);  in smp_send_ici()
1083 		} while (atomic_pointer_test_and_set(&sCPUMessages[targetCPU], msg,  in smp_send_ici()
1086 		arch_smp_send_ici(targetCPU);  in smp_send_ici()
1460 _call_single_cpu(uint32 targetCPU, void (*func)(void*, int), void* cookie, bool sync)  in _call_single_cpu()  argument
1464 	if (targetCPU == (uint32)smp_get_current_cpu()) {  in _call_single_cpu()
1477 	smp_send_ici(targetCPU, SMP_MSG_CALL_FUNCTION, (addr_t)cookie,  in _call_single_cpu()
1485 call_single_cpu(uint32 targetCPU, void (*func)(void*, int), void* cookie)  in call_single_cpu()  argument
1487 	return _call_single_cpu(targetCPU, func, cookie, false);  in call_single_cpu()
1492 call_single_cpu_sync(uint32 targetCPU, void (*func)(void*, int), void* cookie)  in call_single_cpu_sync()  argument
1494 	return _call_single_cpu(targetCPU, func, cookie, true);  in call_single_cpu_sync()