idle_loop(); 
BUG_ON(NULL == ppc_md.idle_loop); ppc_md.idle_loop(); 
void cpu_idle(void){	idle_loop();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fd899c0cc725387992ccfc83fb6f70505c36cbeb/idle.c/buggy/arch/ppc64/kernel/idle.c