[2024-04-11 19:42:25] Logfile Opened [2024-04-11 19:42:25] --- Xen Test Framework --- [2024-04-11 19:42:25] Environment: PV 64bit (Long mode 4 levels) [2024-04-11 19:42:25] XSA-317 PoC [2024-04-11 19:42:25] Success: Not vulnerable to XSA-317 [2024-04-11 19:42:25] Test result: SUCCESS