Symbol: cpu_idle_wtint
sys/arch/alpha/alpha/qemu.c
208
cpu_idle_fn = cpu_idle_wtint;
sys/arch/alpha/include/cpu.h
260
void cpu_idle_wtint(void);