refresh_clock     596 arch/x86/kvm/i8254.c 	unsigned int refresh_clock;
refresh_clock     602 arch/x86/kvm/i8254.c 	refresh_clock = ((unsigned int)ktime_to_ns(ktime_get()) >> 14) & 1;
refresh_clock     606 arch/x86/kvm/i8254.c 		(pit_get_out(pit, 2) << 5) | (refresh_clock << 4));