val = - ((val * (state->fclk/1000000)) / (1<<24)); 
val = (((-val) * (state->fclk/1000000)) / (1<<24)); 
static int s5h1420_getfreqoffset(struct s5h1420_state* state){	int val;	s5h1420_writereg(state, 0x06, s5h1420_readreg(state, 0x06) | 0x08);	val  = s5h1420_readreg(state, 0x0e) << 16;	val |= s5h1420_readreg(state, 0x0f) << 8;	val |= s5h1420_readreg(state, 0x10);	s5h1420_writereg(state, 0x06, s5h1420_readreg(state, 0x06) & 0xf7);	if (val & 0x800000)		val |= 0xff000000;	/* remember freqoffset is in kHz, but the chip wants the offset in Hz, so	 * divide fclk by 1000000 to get the correct value. */	val = - ((val * (state->fclk/1000000)) / (1<<24));	return val;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a9d6a80b41c04e8ff4c7442cc35f5df610863841/s5h1420.c/buggy/drivers/media/dvb/frontends/s5h1420.c