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