Hi, When developing PVH for OVMF, I've used the lapic timer. It turns out that the way it is used by OVMF did not work with Xen [1]. I tried to find out how real-hw behave, and write a XTF tests [2]. And this patch series tries to fix the behavior of the vlapic timer.
About the TSC-deadline mode, I've only make changes by reading the Intel manual, I did not have real-hardward which support it. Thanks, [1] https://lists.xenproject.org/archives/html/xen-devel/2016-12/msg00959.html [2] https://lists.xenproject.org/archives/html/xen-devel/2017-03/msg02533.html Anthony PERARD (3): x86/vlapic: Fix vLAPIC Timer to behave more like real-hw x86/vlapic: Handle change of timer Divide Configuration Register x86/vlapic: Reset LAPIC Timer only on TSC Deadline mode change xen/arch/x86/hvm/vlapic.c | 147 ++++++++++++++++++++++++++++++++++++---------- 1 file changed, 116 insertions(+), 31 deletions(-) -- Anthony PERARD _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
