--- Xen Test Framework ---
Environment: HVM 32bit (PSE 2 levels)
XSA-317 PoC
Success: Not vulnerable to XSA-317
Test result: SUCCESS