if ( decr_overclock_set && !decr_overclock_proc0_set ) decr_overclock_proc0 = decr_overclock;  lpaca->default_decr = tb_ticks_per_jiffy / decr_overclock_proc0; 
lpaca->default_decr = tb_ticks_per_jiffy; 
void setup_default_decr(void){	struct paca_struct *lpaca = get_paca();	if ( decr_overclock_set && !decr_overclock_proc0_set )		decr_overclock_proc0 = decr_overclock;	lpaca->default_decr = tb_ticks_per_jiffy / decr_overclock_proc0;		lpaca->next_jiffy_update_tb = get_tb() + tb_ticks_per_jiffy;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c4eb2a93319d61923635c84a5f5e68965b14c754/setup.c/clean/arch/ppc64/kernel/setup.c