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;}