--- Xen Test Framework ---
Environment: HVM 64bit (Long mode 4 levels)
Guest CPUID Faulting support
Testing CPUID without faulting enabled
Testing CPUID with faulting enabled
Retesting CPUID without faulting enabled
Test result: SUCCESS