--- Xen Test Framework ---
Environment: PV 64bit (Long mode 4 levels)
XSA-231 PoC
Success: Probably not vulnerable to XSA-231
Test result: SUCCESS