if (pm_power_off) pm_power_off(); 
kernel_power_off(); 
static void do_poweroff(void *dummy){	if (pm_power_off)		pm_power_off();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ff31977782a05504f2586ec9e3e5ab4b09a4c893/poweroff.c/buggy/kernel/power/poweroff.c