--- Xen Test Framework ---
Environment: HVM 32bit (PSE 2 levels)
Guest CPUID Faulting support
Testing CPUID without faulting enabled
Testing CPUID with faulting enabled
Retesting CPUID without faulting enabled
Test result: SUCCESS