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