Symbol: cpu_iccb_send
sys/arch/alpha/alpha/cpu.c
494
if (cpu_iccb_send(ci->ci_cpuid, "START\r\n")) {
sys/arch/alpha/include/cpu.h
157
int cpu_iccb_send(cpuid_t, const char *);