Symbol: cpu_offline_md
sys/arch/xen/x86/cpu.c
129
void cpu_offline_md(void);
sys/kern/kern_cpu.c
379
cpu_offline_md();
sys/sys/cpu.h
76
void cpu_offline_md(void);