Symbol: cpu_iccb_receive
sys/arch/alpha/alpha/interrupt.c
217
cpu_iccb_receive();
sys/arch/alpha/include/cpu.h
158
void cpu_iccb_receive(void);