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