memset(ti, 0, sizeof(*ti)); 
static void hpet_register_interpolator(struct hpets *hpetp){#ifdef	CONFIG_TIME_INTERPOLATION	struct time_interpolator *ti;	ti = kmalloc(sizeof(*ti), GFP_KERNEL);	if (!ti)		return;	memset(ti, 0, sizeof(*ti));	ti->source = TIME_SOURCE_MMIO64;	ti->shift = 10;	ti->addr = &hpetp->hp_hpet->hpet_mc;	ti->frequency = hpetp->hp_tick_freq;	ti->drift = HPET_DRIFT;	ti->mask = -1;	hpetp->hp_interpolator = ti;	register_time_interpolator(ti);#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3e6716e748609a3a899e8d670e42832921bd45bc/hpet.c/buggy/drivers/char/hpet.c