void __pmac pmac_power_off(void) 
static void __pmac pmac_power_off(void) 
void __pmac pmac_power_off(void){	switch(sys_ctrler) {#ifdef CONFIG_ADB_PMU	case SYS_CTRLER_PMU:		pmu_shutdown();		break;#endif#ifdef CONFIG_PMAC_SMU	case SYS_CTRLER_SMU:		smu_shutdown();		break;#endif	default:		;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6fdfb382813d66757aef4d83e369f8153a40b371/pmac_setup.c/buggy/arch/ppc64/kernel/pmac_setup.c