[2024-04-24 14:37:36] Logfile Opened
[2024-04-24 14:37:36] --- Xen Test Framework ---
[2024-04-24 14:37:36] Environment: PV 32bit (PAE 3 levels)
[2024-04-24 14:37:36] Guest CPUID Faulting support
[2024-04-24 14:37:36] Testing CPUID without faulting enabled
[2024-04-24 14:37:36] Testing CPUID with faulting enabled
[2024-04-24 14:37:36] Retesting CPUID without faulting enabled
[2024-04-24 14:37:36] Test result: SUCCESS