hv_clock_boot      52 arch/x86/kernel/kvmclock.c 			hv_clock_boot[HVC_BOOT_ARRAY_SIZE] __bss_decrypted __aligned(PAGE_SIZE);
hv_clock_boot     271 arch/x86/kernel/kvmclock.c 	flags = pvclock_read_flags(&hv_clock_boot[0].pvti);
hv_clock_boot     298 arch/x86/kernel/kvmclock.c 		p = &hv_clock_boot[cpu];
hv_clock_boot     330 arch/x86/kernel/kvmclock.c 	this_cpu_write(hv_clock_per_cpu, &hv_clock_boot[0]);
hv_clock_boot     332 arch/x86/kernel/kvmclock.c 	pvclock_set_pvti_cpu0_va(hv_clock_boot);
hv_clock_boot     337 arch/x86/kernel/kvmclock.c 	flags = pvclock_read_flags(&hv_clock_boot[0].pvti);