if (!(id & HPET_ID_VENDOR) || !(id & HPET_ID_NUMBER) || !(id & HPET_ID_LEGSUP)) 
if (!(id & HPET_ID_VENDOR) || !(id & HPET_ID_NUMBER)) 
static int hpet_init(void){	unsigned int id;	if (!vxtime.hpet_address)		return -1;	set_fixmap_nocache(FIX_HPET_BASE, vxtime.hpet_address);	__set_fixmap(VSYSCALL_HPET, vxtime.hpet_address, PAGE_KERNEL_VSYSCALL_NOCACHE);/* * Read the period, compute tick and quotient. */	id = hpet_readl(HPET_ID);	if (!(id & HPET_ID_VENDOR) || !(id & HPET_ID_NUMBER) ||	    !(id & HPET_ID_LEGSUP))		return -1;	hpet_period = hpet_readl(HPET_PERIOD);	if (hpet_period < 100000 || hpet_period > 100000000)		return -1;	hpet_tick = (1000000000L * (USEC_PER_SEC / HZ) + hpet_period / 2) /		hpet_period;	return hpet_timer_stop_set_go(hpet_tick);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a3a00751ad8970c13d0563c2e92ee68c655a8e6b/time.c/clean/arch/x86_64/kernel/time.c