Commit 81a71f51 authored by Fei Li's avatar Fei Li Committed by Ingo Molnar
Browse files

x86/acrn: Set up timekeeping 



ACRN Hypervisor reports timing information via CPUID leaf 0x40000010.
Get the TSC and CPU frequency via CPUID leaf 0x40000010 and set the
kernel values accordingly.

Signed-off-by: default avatarFei Li <fei1.li@intel.com>
Signed-off-by: default avatarIngo Molnar <mingo@kernel.org>
Reviewed-by: default avatarConghui <conghui.chen@intel.com>
Link: https://lore.kernel.org/r/20220804055903.365211-1-fei1.li@intel.com
parent 9de1f9c8

arch/x86/include/asm/acrn.h

+14 −0
Original line number Diff line number Diff line
@@ -10,6 +10,15 @@ 
/* Bit 0 indicates whether guest VM is privileged */

#define	ACRN_FEATURE_PRIVILEGED_VM	BIT(0)



/*

 * Timing Information.

 * This leaf returns the current TSC frequency in kHz.

 *

 * EAX: (Virtual) TSC frequency in kHz.

 * EBX, ECX, EDX: RESERVED (reserved fields are set to zero).

 */

#define ACRN_CPUID_TIMING_INFO		0x40000010



void acrn_setup_intr_handler(void (*handler)(void));

void acrn_remove_intr_handler(void);
@@ -21,6 +30,11 @@ static inline u32 acrn_cpuid_base(void) 
	return 0;

}



static inline unsigned long acrn_get_tsc_khz(void)

{

	return cpuid_eax(ACRN_CPUID_TIMING_INFO);

}



/*

 * Hypercalls for ACRN

 *

arch/x86/kernel/cpu/acrn.c

+3 −0
Original line number Diff line number Diff line
@@ -28,6 +28,9 @@ static void __init acrn_init_platform(void) 
{

	/* Setup the IDT for ACRN hypervisor callback */

	alloc_intr_gate(HYPERVISOR_CALLBACK_VECTOR, asm_sysvec_acrn_hv_callback);



	x86_platform.calibrate_tsc = acrn_get_tsc_khz;

	x86_platform.calibrate_cpu = acrn_get_tsc_khz;

}



static bool acrn_x2apic_available(void)