--- Xen Test Framework ---
Environment: PV 64bit (Long mode 4 levels)
Guest CPUID Faulting support
Testing CPUID without faulting enabled
Skip: CPUID Faulting unavailable
Test result: SKIP