--- Xen Test Framework ---
Environment: PV 32bit (PAE 3 levels)
Guest CPUID Faulting support
Testing CPUID without faulting enabled
Testing CPUID with faulting enabled
Retesting CPUID without faulting enabled
Test result: SUCCESS