[2024-04-25 22:07:29] Logfile Opened
[2024-04-25 22:07:29] --- Xen Test Framework ---
[2024-04-25 22:07:29] Environment: PV 64bit (Long mode 4 levels)
[2024-04-25 22:07:29] Guest CPUID Faulting support
[2024-04-25 22:07:29] Testing CPUID without faulting enabled
[2024-04-25 22:07:29] Testing CPUID with faulting enabled
[2024-04-25 22:07:29] Retesting CPUID without faulting enabled
[2024-04-25 22:07:29] Test result: SUCCESS