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