read_hpet         313 arch/x86/kernel/hpet.c 	.read		= read_hpet,
read_hpet         332 arch/x86/kernel/hpet.c 	t1 = read_hpet();
read_hpet         346 arch/x86/kernel/hpet.c 	if (t1 == read_hpet()) {