Symbol: cpu_init_idle_pcbs
sys/arch/i386/i386/autoconf.c
157
cpu_init_idle_pcbs();
sys/arch/i386/include/cpu.h
245
extern void cpu_init_idle_pcbs(void);