[2024-04-25 21:58:10] Logfile Opened [2024-04-25 21:58:10] --- Xen Test Framework --- [2024-04-25 21:58:10] Environment: HVM 64bit (Long mode 4 levels) [2024-04-25 21:58:10] XSA-451 PoC [2024-04-25 21:58:10] Success: not vulnerable to XSA-451 [2024-04-25 21:58:10] Test result: SUCCESS