[2024-06-26 16:33:45] Logfile Opened [2024-06-26 16:33:45] --- Xen Test Framework --- [2024-06-26 16:33:45] Environment: HVM 64bit (Long mode 4 levels) [2024-06-26 16:33:45] XSA-451 PoC [2024-06-26 16:33:45] Success: not vulnerable to XSA-451 [2024-06-26 16:33:45] Test result: SUCCESS