void __pmac pmac_halt(void) 
static void __pmac pmac_halt(void) 
void __pmac pmac_halt(void){	pmac_power_off();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6fdfb382813d66757aef4d83e369f8153a40b371/pmac_setup.c/buggy/arch/ppc64/kernel/pmac_setup.c